"Threshold Evaluation and the Semantics of Call by Value, Assignment and ..."

Bernard Lang (1977)
a service of Schloss Dagstuhl - Leibniz Center for Informatics