The Curry-Howard isomorphism

Philippe De Groote · Academia · 1995

BibTeX

@book{groote1995, author = {Groote, Philippe De}, title = {The Curry-Howard isomorphism}, publisher = {Academia}, address = {Louvain-la-Neuve}, year = {1995}, isbn = {9782872093632} }