by Martin Hofmann
Paperback
ISBN: 978-1-4471-1243-3
ISBN-10: 1-4471-1243-1
Springer London · 1997
|
|
by Martin HofmannPaperback
ISBN: 978-1-4471-1243-3 ISBN-10: 1-4471-1243-1 Springer London · 1997 |
| See also: | ||
| 1997 | Gebundene Ausgabe | Extensional Constructs in Intensional Type Theory (Distinguished Dissertations) |