An edition of Extensional Constructs in Intensional Type Theory (1997)
Extensional Constructs in Intensional Type Theory
By Martin Hofmann
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1997
Publisher
Springer London
Language
eng
Pages
216
Description: