The Curry-Howard isomorphism

Philippe De Groote · Academia · 1995

MLA

Groote, Philippe De. The Curry-Howard isomorphism. Academia, 1995.

APA

Groote, P. D. (1995). The Curry-Howard isomorphism. Academia.

Chicago

Groote, Philippe De. The Curry-Howard isomorphism. Louvain-la-Neuve: Academia, 1995.

Wikipedia

{{cite book |last=Groote |first=Philippe De |title=The Curry-Howard isomorphism |publisher=Academia |year=1995 |isbn=9782872093632}}

BibTeX

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