Ergebnis 3 von 6

Details

Autor(en) / Beteiligte
Nordström, Bengt;Petersson, Kent;Smith, Jan M
Titel
Programming in Martin-Löf's type theory : an introduction
Ist Teil von
Ort / Verlag
Oxford : Clarendon Pr.
Erscheinungsjahr
1990
Sprache
Englisch
Identifikatoren
ISBN: 0198538146
OCLC-Nummer: 246906986, 246906986
Titel-ID: 990005334450106463
Format
X, 221 S.
Systemstelle
TVM
Schlagworte
Softwareentwicklung, Martin-Löf-Typentheorie

Lade weitere Informationen...