The Curry-Howard isomorphism

Philippe De Groote · Academia · 1995

Chicago

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