An edition of Derivation and computation (2000)
Derivation and computation
taking the Curry-Howard correspondence seriously
By Harold Simmons
0 (0 Ratings)
2 Want to read0 Currently reading0 Have read
2 Want to read0 Currently reading0 Have read
Publish Date
2000
Publisher
Cambridge University Press
Language
eng
Pages
384
Description: