The enriched effect calculus: syntax and semantics

DOI10.1093/LOGCOM/EXS025MaRDI QIDQ2937687zbMATH OpenOpenAlexFDO

Authors J. M. Egger, Rasmus Ejlers Møgelberg, Alex 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

computational effectslinear logic

Mathematics Subject Classification ID

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

Recommendations

• On the syntax and semantics of effect axioms
• Introducing a calculus of effects and handlers for natural language semantics
• Enriching an Effect Calculus with Linear Types
• Algebraic effects for extensible dynamic semantics
• Linearly-Used Continuations in the Enriched Effect Calculus
• Towards Effects in Mathematical Operational Semantics
• Enriched Lawvere theories for operational semantics
• Coeffects: a calculus of context-dependent computation
• Effect systems revisited -- control-flow algebra and semantics
• VeriML: typed computation of logical terms inside a language with effects

Cited in

(21)

• Call-By-Push-Value from a Linear Logic Point of View
• Dependent types and fibred computational effects
• Coeffects: a calculus of context-dependent computation
• A theory of effects and resources: adjunction models and polarised calculi
• Linearly-used state in models of call-by-value
• Linear-use CPS translations in the enriched effect calculus
• Linearly-Used Continuations in the Enriched Effect Calculus
• Enriching an Effect Calculus with Linear Types
• A study of evaluation order semantics in expressions with side effects
• Computational adequacy for substructural lambda calculi
• Classical control, quantum circuits and linear logic in enriched category theory
• Enriching a linear/non-linear lambda calculus: a programming language for string diagrams
• Linear usage of state
• LNL polycategories and doctrines of linear logic
• Semantics for a lambda calculus for string diagrams
• Amortized analysis via coalgebra
• The functional machine calculus
• Univalent enriched categories and the enriched rezk completion
• The formal theory of monads, univalently
• Univalent enriched categories and the enriched Rezk completion
• Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2937687)