Extensional Constructs in Intensional Type Theory
By: by Martin Hofmann
Series: CPHC/BCS Distinguished Dissertations; CPHC/BCS distinguished dissertations
Publisher: Springer London
Published: 1997
Place of publication: London
Language: eng
Format: [electronic resource] /
Number of pages: 216
ISBN-13: 9781447109631