The Curry-Howard isomorphism
By: edited by Ph. de Groote.
Contributors: De Groote, Philippe.; Université catholique de Louvain (1970- ). Départment de philosophie.
Series: Cahiers du Centre de logique ;; 8
Publisher: Academia
Published: 1995
Place of publication: Louvain-la-Neuve
Language: eng
Number of pages: 364
Subjects: Curry-Howard isomorphism.; Proof theory.; Lambda calculus.; Type theory.
Notes: Includes bibliographical references.
"Université catholique de Louvain, Département de philosophie."
Table of contents: value: Basic theory of functionality.  Analogies with propositional algebra / H.B. Curry and R. Feys; value: The formulæ-as-types notion of construction / W.A. Howard; value: On the roles of types in mathematics / N.G. de Bruijn; value: On the correspondence between proofs and lamba-terms / J. Gallier; value: Linear logic : a survey / J.-Y. Girard; value: Realizability, set theory and term extraction / J. Lipton.