论文信息 - Combinators and Lambda-Calculus

Combinators and Lambda-Calculus

This article introduces the basic ideas of combinatory logic and lambda-calculus, to serve as background for the other papers in this volume. Typed and untyped systems are covered.

J. Roger Hindley | J. Hindley

[1] R. Hindley. The Principal Type-Scheme of an Object in Combinatory Logic , 1969 .

[2] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .

[3] M. Schönfinkel. Über die Bausteine der mathematischen Logik , 1924 .

[4] H. B. Curry. Modified basic functionality in combinatory logic , 1969 .

[5] J. Roger Hindley,et al. Introduction to combinators and λ-calculus , 1986, Acta Applicandae Mathematicae.