Similar Items: Linear-use CPS translations in the Enriched Effect Calculus
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy
- LNL-FPC: The Linear/Non-linear Fixpoint Calculus
- Multi-Perspective Security Risk Assessment for APT Attacks in CPS Environments
- Lineal: A linear-algebraic Lambda-calculus
- A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets
- Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems