On the Relation between Direct and Continuation Semantics

Publisher Website

1 January 1974

book chapter
Published by Springer Nature

p. 141-156
https://doi.org/10.1007/978-3-662-21545-6_10

Abstract

No abstract available

This publication has 2 references indexed in Scilit:

Models for Various Type-Free Calculi
Published by Elsevier ,1973
Correspondence between ALGOL 60 and Church's Lambda-notation
Communications of the ACM, 1965

Cited by 20 articles