Hofmann, Martin.
Extensional Constructs in Intensional Type Theory - London Springer Verlag 1997 - 214p - CPHC/BCS Distinguished Dissertation Series .
3 540 76121 7
Automatic Theorem Proving
Functional Programming (Computer Science)
Type Theory
510.6 HOF
Extensional Constructs in Intensional Type Theory - London Springer Verlag 1997 - 214p - CPHC/BCS Distinguished Dissertation Series .
3 540 76121 7
Automatic Theorem Proving
Functional Programming (Computer Science)
Type Theory
510.6 HOF