A theory of effects and resources: adjunction models and polarised calculi

DOI10.1145/2837614.2837652zbMath1347.68078OpenAlexW2267766518MaRDI QIDQ2828243

Pierre-Louis Curien, Guillaume Munch-MacCagnoni, Marcelo P. Fiore

Publication date: 24 October 2016

Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2837614.2837652

zbMATH Keywords

linear logicintuitionistic logiccategorical semanticscomputational effectsresource modalitiesadjunction modelsCurry-Howard-Lambek correspondencepolarised calculi

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Cut-elimination and normal-form theorems (03F05) Categorical semantics of formal languages (18C50) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (6)

Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ Back to futures ⋮ Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic ⋮ Graded algebraic theories ⋮ Call-By-Push-Value from a Linear Logic Point of View ⋮ Unnamed Item

This page was built for publication: A theory of effects and resources: adjunction models and polarised calculi