Shelfclass_id | 3.F.2 |
Sortkey | HOFMANN, MARTIN |
Authors | Martin Hofmann |
Title | Extensional Constructs in Intensional Type Theory |
Publisher | Springer-Verlag |
Year | c1997 |
Languages | eng |
Isbn | 3540761217 |
Series | CPHC/BCS distinguished dissertations |
Description | (hardback: alk. paper) xii, 214 p. ill. 24 cm. |
Record date | 20080306 |
Location | New York |
Keywords | Automatic theorem proving, Functional programming (Computer science), Type theory |
Notes | Originally presented as the author's thesis--(Ph. D.). |