Media type: Book; Thesis Title: Extensional constructs in intensional type theory Contributor: Hofmann, Martin [Author] Published: London; Heidelberg [u.a.]: Springer, c1997 Published in: CPHC/BCS distinguished dissertations Extent: XII, 214 S; graph. Darst Language: English ISBN: 3540761217 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Martin-Löf-Typentheorie Automatisches Beweisverfahren > Funktionale Programmierung Origination: Footnote: Literaturverz. S. 207 - 211