Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison.

Willem P. de Roever

Published in: MFCS (1974)

Keyphrases

proof theoretic
nonmonotonic reasoning
proof theory
desirable properties
default reasoning
constraint logic programming
linear logic