The Curry-Howard isomorphism
By: edited by Ph. de Groote.
Contributors: Groote, Ph. de.; Université catholique de Louvain. Département de philosophie.
Series: Cahiers du Centre de logique -- 8
Publisher: Academia
Place of publication: Louvain-la-neuve
Language: eng
Notes: At foot of title: Université catholique de Louvain, Département de Philosophie.