Zur Ergebnisliste
Ergebnis 1 von 1
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
    Datensatz exportieren als...
  • BibTeX
Programming in Martin-Löf's type theory : an introduction
The international series of monographs on computer science : 7 (Alle Bände)
1990
Signatur: TVM2479

Details

Autor(en) / Beteiligte
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...