Enriching an Effect Calculus with Linear Types

DOI10.1007/978-3-642-04027-6_19zbMath1257.03053MaRDI QIDQ3644752

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

Publication date: 12 November 2009

Published in: Computer Science Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

03B70: Logic in computer science

18C50: Categorical semantics of formal languages

03F52: Proof-theoretic aspects of linear logic and other substructural logics