An edition of Extensional Constructs in Intensional Type Theory (1997)
By Martin Hofmann
Publish Date
1997
Publisher
Springer London
Language
eng
Pages
216
Description:
subjects: Automatic theorem proving, Functional programming (computer science), Logic, symbolic and mathematical