Linear-use CPS translations in the Enriched Effect Calculus

DOI10.2168/LMCS-8(4:2)2012zbMath1273.03164arXiv1209.4268OpenAlexW2014379452MaRDI QIDQ3166223

Rasmus Ejlers Møgelberg, J. M. Egger, Alex K. Simpson

Publication date: 22 October 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1209.4268

zbMATH Keywords

linear logiccomputational metalanguagecontinuation-passing-style translationeffect calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Classical control and quantum circuits in enriched category theory

This page was built for publication: Linear-use CPS translations in the Enriched Effect Calculus