[PDF.01vy] Extensional Constructs in Intensional Type Theory (Distinguished Dissertations)

Extensional Constructs in Intensional Type Theory (Distinguished Dissertations)

[PDF.vq09] Extensional Constructs in Intensional Type Theory (Distinguished Dissertations)

Extensional Constructs in Intensional  Martin Hofmann epub
Extensional Constructs in Intensional  Martin Hofmann pdf download
Extensional Constructs in Intensional  Martin Hofmann pdf file
Extensional Constructs in Intensional  Martin Hofmann audiobook
Extensional Constructs in Intensional  Martin Hofmann book review
Extensional Constructs in Intensional  Martin Hofmann summary

 |  Springer |  1997-01-01 | Original language:English | PDF # 1 |  9.25 x.53 x6.10l,.73 | File type: PDF | 216 pages

 | 

---

|

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and...

You can specify the type of files you want, for your device.Extensional Constructs in Intensional Type Theory (Distinguished Dissertations)   |  Martin Hofmann. A good, fresh read, highly recommended.

Download Now