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
1-3 of 3 Editions
Extensional Constructs in Intensional Type Theory
Extensional Constructs in Intensional Type Theory
Language: eng
Pages: 216
Published In: 2011
Publisher: Springer London, Limited
Extensional Constructs in Intensional Type Theory
Pages: 232
Published In: Oct 09, 2011
Publisher: Springer
Extensional Constructs in Intensional Type Theory
Language: eng
Pages: 216
Published In: 1997
Publisher: Springer London