Extensional constructs in intensional type theory

Author(s)

• Hofmann, Martin

Bibliographic Information

Extensional constructs in intensional type theory

Martin Hofmann

University of Edinburgh, Department of Computer Science, 1995

Note

Includes bibliography (p. 278-288)

Author's thesis (Ph.D.)--University of Edinbungh, 1995

CST-117-95 (also published as ECS-LFCS-95-327)

Details

• NCID: BC13236595
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Edinburgh
• Pages/Volumes: xi, 288 p.
• Size: 21 cm