> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Extensional constructs in intensional type theory Beteiligte: Hofmann, Martin [Verfasser:in] Erschienen: London; Heidelberg [u.a.]: Springer, c1997 Erschienen in: CPHC/BCS distinguished dissertations Umfang: XII, 214 S; graph. Darst Sprache: Englisch ISBN: 3540761217 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Martin-Löf-Typentheorie Automatisches Beweisverfahren > Funktionale Programmierung Entstehung: Anmerkungen: Literaturverz. S. 207 - 211