Albert R. Meyer and Mitchell Wand. Continuation semantics in typed lambda calculi (summary). In Rohit Parikh, editor, Logics of Programs, volume 193, of Lecture Notes in Computer Science, pages 219-224. Springer-Verlag, 1985.
author author author author author author title title title title title title title editor editor editor editor booktitle booktitle booktitle volume volume booktitle booktitle booktitle booktitle booktitle booktitle pages pages publisher date