The Curry-Howard isomorphism

Name: The Curry-Howard isomorphism
ISBN: 9782872093632

Philippe De Groote · Academia · 1995

Wikipedia

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