The Community for Technology Leaders
Green Image
Issue No. 04 - October-December (1984 vol. 6)
ISSN: 1058-6180
pp: 337-349
ABSTRACT
<p>This paper gives an account of both the lambda-calculus and its close relative, the combinatory calculus, and explains why they are of such importance for computer software. The account includes the shortest and simplest proof of the Church-Rosser theorem, which appeared in a limited printing in August 1982. It includes a model of the combinatory calculus, also available in 1982 in a limited printing. In the last half-dozen years, some revolutionary new ideas for programming have appeared, involving the very fundamentals of the lambda-calculus and the combinatory calculus. A short introduction is given for a couple of these new ideas.</p>
INDEX TERMS
CITATION
82 ms
(Ver 3.3 (11022016))