Call-by-name, call-by-value and the \(\lambda\)-calculus. (English) Zbl 0325.68006


68N01 General topics in the theory of software
03B40 Combinatory logic and lambda calculus


Full Text: DOI


[1] Barendregt, H.P., Some extensional term models for combinatory logics and λ-calculi, () · Zbl 0900.68110
[2] Curry, H.B.; Feys, R., Combinatory logic, Vol. 1, (1958), North-Holland Amsterdam · Zbl 0175.27601
[3] Fischer, M.J., Lambda calculus schemata, Las Cruces, Proc. of an ACM conference on proving assertions about programs, (1972)
[4] Goodman, N.D., A simplification of combinatory logic, Journal of symbolic logic, Vol. 37, No. 2, (1972) · Zbl 0264.02024
[5] Landin, P.J., The mechanical evaluation of expressions, Computer journal, Vol. 6, No. 4, (1964) · Zbl 0122.36106
[6] Landin, P.J., A correspondence between ALGOL 60 and Church’s lambda notation, Comm. ACM., Vol. 8, Nos. 2 and 3, (1965) · Zbl 0134.33403
[7] Landin, P.J., A lambda-calculus approach, () · Zbl 0203.16406
[8] McGowan, C., The correctness of a modified SECD machine, Second ACM symposium on theory of computing, (1970)
[9] Morris, J.H., Lambda-calculus models of programming languages, (), MAC-TR-57
[10] Morris, L., The next 700 programming language descriptions, (1971), Unpublished
[11] Reynolds, J.C., GEDANKEN — A simple typeless language based on the principle of completeness and the reference concept, Comm. of the ACM., Vol. 13, No. 5, (1970) · Zbl 0193.15101
[12] Reynolds, J.C., Definitional interpreters for higher-order programming languages, Boston, ACM national meeting, (1972), Presented at · Zbl 0934.68034
[13] J. C. Reynolds, Personal communication (1972).
[14] Scott, D.; Strachey, C., Toward a mathematical semantics for computer languages, (), to appear · Zbl 0268.68004
[15] Strachey, C.; Wadsworth, C.P., Continuations — a mathematical semantics for handling full jumps, Technical monograph PRG-11, (1974), Oxford · Zbl 0951.68078
[16] Vuillemin, J., Implementations of recursion in a simple programming language, Proc. 5th annual ACM symposium on computing, (1973) · Zbl 0305.68013
[17] Wadsworth, C.P., Semantics and pragmatics of the lambda-calculus, ()
[18] Wegner, P., Programming languages, information structures and machine organization, (1968), McGraw-Hill New York
[19] Wozencraft, J.M.; Evans, A., Notes on programming linguistics, (1971), MIT Cambridge, Mass
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.