NoteOn the semantics of the call-by-name CPS transform
Under an Elsevier user license
open archive
Keywords
Continuation-passing-style transforms
-calculus
Lévy–Longo trees
Böhm-out technique
Cited by (0)
Copyright © 2000 Elsevier Science B.V. All rights reserved.