Extensional constructs in intensional type theory
Martin Hofmann
Bok Engelsk 1997
| Utgitt | Berlin : Springer , c1997
|
|---|---|
| Omfang | xii, 214 s.
|
| Opplysninger | "This book contains the author's PhD thesis written under the supervision of ..." - Forordet
|
| Emner | |
| ISBN | 3540761217
|
