Call-by-value versus call-by-name: A proof-theoretic comparison

Publisher Website

1 January 1975

book chapter
Published by Springer Nature

p. 451-463
https://doi.org/10.1007/3-540-07162-8_703

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Operational and mathematical semantics for recursive polyadic program schemata
ACM SIGPLAN Notices, 1973
Fixpoint approach to the theory of computation
Communications of the ACM, 1972
An axiomatic basis for computer programming
Communications of the ACM, 1969