TY  - BOOK
AU  - Hofmann, Martin.
TI  - Extensional Constructs in Intensional Type Theory
SN  - 3 540 76121 7
CY  - London
KW  - Automatic Theorem Proving
KW  - Functional Programming (Computer Science)
KW  - Type Theory
ER  -