Extensional constructs in intensional type theory
By: Martin Hofmann.
Series: CPHC/BCS distinguished dissertations
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 214
Subjects: Automatic theorem proving.; Functional programming (Computer science); Type theory.
Notes: Includes bibliographical references (p. 207-211) and index.
Originally presented as the author's thesis--(Ph. D.).