Extensional constructs in intensional type theory

• Κύριος συγγραφέας: Hofmann, Martin
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer 1997
• Σειρά: CPHC/BCS distinguished dissertations
• Θέματα: Λογική, Συμβολική και μαθηματική; Λογική
• Φυσική περιγραφή: xii, 214 p. 24 cm.
• Βιβλιογραφία: Includes bibliographical references and index
• ISBN: 3540761217