Pages that link to "Item:Q1575687"
From MaRDI portal
The following pages link to On the semantics of the call-by-name CPS transform (Q1575687):
Displaying 9 items.
- On the observational theory of the CPS-calculus (Q968276) (← links)
- A process algebraic view of Linda coordination primitives (Q1127512) (← links)
- On bisimulations for the asynchronous \(\pi\)-calculus (Q1276246) (← links)
- Back to direct style (Q1330432) (← links)
- Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272) (← links)
- On the call-by-value CPS transform and its semantics (Q1887170) (← links)
- On the observational theory of the CPS-calculus (extended abstract) (Q2851329) (← links)
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State (Q3184753) (← links)
- (Q4499189) (← links)