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):
Displayed 4 items.
- A process algebraic view of Linda coordination primitives (Q1127512) (← links)
- On bisimulations for the asynchronous \(\pi\)-calculus (Q1276246) (← links)
- Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272) (← links)
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State (Q3184753) (← links)