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

Publish Date

Oct 09, 2011

Publisher

Springer

Language

Pages

216

Description:

subjects: Automatic theorem proving, Functional programming (computer science), Logic, symbolic and mathematical