An interpreter for slips—An applicative language based on LAMBDA-Calculus

Landin, 1965, A correspondence between ALGOL 60 and Church's Lambda notation, Commun. ACM, 8, 89, 10.1145/363744.363749 Landin, 1965, A correspondence between ALGOL 60 and Church's Lambda notation, Commun. ACM, 8, 158, 10.1145/363791.363804 Barandregt, 1981, The Lambda Calculus: Its Syntax and Semantics Turing, 1937, Computability and δ-definability, J. Symbolic Logic, 2, 153, 10.2307/2268280 Stoy, 1977 Burge, 1975 Wadsworth, 1971, Semantics and pragmatics of the δ-Calculus Gehlot, 1984 Aiello, 1981, An efficient interpreter for the Lambda-Calculus, J. Comput. System Sci., 23, 383, 10.1016/0022-0000(81)90073-8