Relating computational effects by \(\top \top \)-lifting
DOI10.1016/J.IC.2012.10.014zbMath1267.68087OpenAlexW2119440710MaRDI QIDQ1951584
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
fibrationmonadlogical relationcomputational effectsalgebraic operation\(\top \top \)-liftingfresh name creationgeneric effect
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)
This page was built for publication: Relating computational effects by \(\top \top \)-lifting