Extensional constructs in intensional type theory

• Main Author: Hofmann, Martin
• Format: Book
• Language: English
• Published: Berlin Springer 1997
• Series: CPHC/BCS distinguished dissertations
• Subjects: Λογική, Συμβολική και μαθηματική; Λογική
• Physical Description: xii, 214 p. 24 cm.
• Bibliography: Includes bibliographical references and index
• ISBN: 3540761217