From λ to π; or, Rediscovering continuations

DOI10.1017/S0960129599002881zbMath0939.68019OpenAlexW2086566890MaRDI QIDQ4704762

Davide Sangiorgi

Publication date: 25 November 1999

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129599002881

zbMATH Keywords

continuation passing style

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Reversibility in the higher-order \(\pi\)-calculus ⋮ Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

This page was built for publication: From λ to π; or, Rediscovering continuations