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.
[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.