The enriched effect calculus: syntax and semantics
From MaRDI portal
Publication:2937687
DOI10.1093/logcom/exs025zbMath1338.03014MaRDI QIDQ2937687
J. M. Egger, Alex K. Simpson, Rasmus Ejlers Møgelberg
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
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03B40: Combinatory logic and lambda calculus