The enriched effect calculus: syntax and semantics

DOI10.1093/LOGCOM/EXS025zbMath1338.03014OpenAlexW2111795230MaRDI QIDQ2937687

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

Publication date: 12 January 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/12289301/eec.pdf

zbMATH Keywords

linear logiccomputational effects

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (5)

LNL polycategories and doctrines of linear logic ⋮ Unnamed Item ⋮ Call-By-Push-Value from a Linear Logic Point of View ⋮ Unnamed Item ⋮ Dependent Types and Fibred Computational Effects

This page was built for publication: The enriched effect calculus: syntax and semantics