This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
H. Barendregt “The Lambda-Calculus: Its Syntax and Semantics.” North-Holland (1980).
N.G. de Bruijn “Lambda-Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem.” Indag. Math. 34,5 (1972), 381–392.
G. Cousineau, P.L. Curien and M. Mauny “The Categorical Abstract Machine.” In Functional Programming Languages and Computer Architecture, Ed. J. P. Jouannaud, Springer-Verlag LNCS 201 (1985) 50–64.
Th. Coquand, G. Huet “Constructions: A Higher Order Proof System for Mechanizing Mathematics.” EUROCAL85, Linz, Springer-Verlag LNCS 203 (1985).
P. L. Curien “Categorical Combinatory Logic.” ICALP 85, Nafplion, Springer-Verlag LNCS 194 (1985).
P. L. Curien “Categorical Combinators, Sequential Algorithms and Functional Programming.” Monography to appear, Pitman (1985).
G. Gentzen “The Collected Papers of Gerhard Gentzen.” Ed. E. Szabo, North-Holland, Amsterdam (1969).
M. J. Gordon, A. J. Milner, C. P. Wadsworth “Edinburgh LCF” Springer-Verlag LNCS 78 (1979).
G. Huet “Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems.” J. Assoc. Comp. Mach. 27,4 (1980) 797–821.
G. Huet “Initiation à la Théorie des Catégories.” Polycopié de cours de DEA, Université Paris VII (Nov. 1985).
G. Huet. “Deduction and Computation.” in Fundamentals in Artificial Intelligence, Eds. W. Bibel and Ph. Jorrand, Springer-Verlag Lecture Notes in Computer Science vol. 232 (1986) 39–74.
G. Huet. “Formal Structures for Computation and Deduction.” In preparation.
H. Huwig and A. Poigné “A note on inconsistencies caused by fixpoints in a cartesian closed category.” Personal communication (April 1986).
L.S. van Benthem Jutting “The language theory of A∞, a typed λ-calculus where terms are types.” Personal communication (1984).
S.C. Kleene “Introduction to Meta-mathematics.” North Holland (1952).
J.W. Klop “Combinatory Reduction Systems.” Ph. D. Thesis, Mathematisch Centrum Amsterdam (1980).
D. Knuth, P. Bendix “Simple word problems in universal algebras”. In: Computational Problems in Abstract Algebra, J. Leech Ed., Pergamon (1970) 263–297.
J. Lambek “From Lambda-calculus to Cartesian Closed Categories.” in To H. B. Curry: Essays on Combinatory Logic, Lambda-calculus and Formalism, Eds. J. P. Seldin and J. R. Hindley, Academic Press (1980).
J. Lambek and P. J. Scott “Aspects of Higher Order Categorical Logic.” Contemporary Mathematics 30 (1984) 145–174.
F. W. Lawvere “Diagonal Arguments and Cartesian Closed Categories.” in Category Theory, Homology Theory and their Applications II, Springer-Verlag Lect. Notes in Math. 92 (1969).
S. Mac Lane “Categories for the Working Mathematician.” Springer-Verlag (1971).
C. Mann “The Connection between Equivalence of Proofs and Cartesian Closed Categories.” Proc. London Math. Soc. 31 (1975) 289–310.
A. Poigné “On Semantic Algebras.” Universitat Dortmund (March 1983).
D. Prawitz “Natural Deduction.” Almquist and Wiskell, Stockolm (1965).
D. Scott “Relating Theories of the Lambda-Calculus.” in To H. B. Curry: Essays on Combinatory Logic, Lambda-calculus and Formalism, Eds. J. P. Seldin and J. R. Hindley, Academic Press (1980).
S. Stenlund “Combinators λ-terms, and proof theory.” Reidel (1972).
M. E. Szabo “Algebra of Proofs.” North-Holland (1978).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huet, G. (1986). Cartesian closed categories and lambda-calculus. In: Cousineau, G., Curien, PL., Robinet, B. (eds) Combinators and Functional Programming Languages. LITP 1985. Lecture Notes in Computer Science, vol 242. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17184-3_43
Download citation
DOI: https://doi.org/10.1007/3-540-17184-3_43
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17184-3
Online ISBN: 978-3-540-47253-7
eBook Packages: Springer Book Archive