On the semantics of the call-by-name CPS transform

Authors:
Gérard Boudol
Affiliations:
INRIA Sophia Antipolis, Sophia Antipolis, France
Venue:
Theoretical Computer Science
Year:
2000

Citing 0
Cited 3

Infinitary lambda calculus and discrimination of Berarducci trees

Theoretical Computer Science - Australasian computer science
On the Observational Theory of the CPS-calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
A complete, co-inductive syntactic theory of sequential control and state

Semantics and algebraic specification

Quantified Score

Hi-index	5.23

Visualization

Abstract