Logical relations for monadic types
From MaRDI portal
Publication:3545276
DOI10.1017/S0960129508007172zbMath1156.03014MaRDI QIDQ3545276
Sławomir Lasota, Jean Goubault-Larrecq, David E. Nowak
Publication date: 10 December 2008
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items
A categorical framework for congruence of applicative bisimilarity in higher-order languages, On bisimilarity in lambda calculi with continuous probabilistic choice, Deriving logical relations from interpretations of predicate logic, Weakest preconditions in fibrations, Bimonoidal structure of probability monads, Bisimulation as a logical relation, Program equivalence in a simple language with state, Graded Hoare logic and its categorical semantics, Relating Computational Effects by ⊤ ⊤-Lifting, Effectful applicative similarity for call-by-name lambda calculi, Codensity Lifting of Monads and its Dual, Weakest preconditions in fibrations, Program equivalence in linear contexts
Cites Work
- A characterization of lambda definability in categorical models of implicit polymorphism
- Notions of computation and monads
- Bisimulation through probabilistic testing
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
- On the geometry of intuitionistic S4 proofs
- Combining a monad and a comonad
- Prelogical relations
- Relational properties of domains
- Categories of continuous functors. I
- Logical relations and the typed λ-calculus
- Adjoint Lifting Theorems for Categories of Algebras
- Extensions of valuations
- Proceedings of the Conference on Categorical Algebra
