A λ-CALCULUS APPROACH

Publisher Website

1 January 1966

book chapter
Published by Elsevier

p. 97-141
https://doi.org/10.1016/b978-0-08-011356-2.50008-2

Abstract

No abstract available

This publication has 3 references indexed in Scilit:

The Mechanical Evaluation of Expressions
The Computer Journal, 1964
The compiler compiler
Annual Review in Automatic Programming, 1963
Report on the Algorithmic Language ALGOL the ACM committee on programming languages and the GAMM committee on programming
Numerische Mathematik, 1959