Relating computational effects by \(\top \top \)-lifting

DOI10.1016/J.IC.2012.10.014zbMath1267.68087OpenAlexW2119440710MaRDI QIDQ1951584

Shin-ya Katsumata

Publication date: 6 June 2013

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2012.10.014

zbMATH Keywords

fibrationmonadlogical relationcomputational effectsalgebraic operation\(\top \top \)-liftingfresh name creationgeneric effect

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ Generic weakest precondition semantics from monads enriched with order ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Codensity Lifting of Monads and its Dual

This page was built for publication: Relating computational effects by \(\top \top \)-lifting