Recommendations
- scientific article; zbMATH DE number 1948186
- scientific article; zbMATH DE number 1342222
- Relations in monadic third-order logic
- On the relations between monadic semantics
- Syntactic logical relations for polymorphic and recursive types
- Logical relations and the typed λ-calculus
- Logical Relations as Types: Proof-Relevant Parametricity for Program Modules
- Monads on Categories of Relational Structures.
- scientific article; zbMATH DE number 3285192
Cites work
- A characterization of lambda definability in categorical models of implicit polymorphism
- Adjoint Lifting Theorems for Categories of Algebras
- Bisimulation through probabilistic testing
- Categories of continuous functors. I
- Combining a monad and a comonad
- Extensions of valuations
- Logical relations and the typed λ-calculus
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
- Notions of computation and monads
- On the geometry of intuitionistic S4 proofs
- Prelogical relations
- Proceedings of the Conference on Categorical Algebra
- Relational properties of domains
Cited in
(33)- Relating computational effects by \(\top \top \)-lifting
- Effectful applicative similarity for call-by-name lambda calculi
- A fibrational tale of operational logical relations: pure, effectful and differential
- Bialgebraic reasoning on higher-order program equivalence
- scientific article; zbMATH DE number 1670816 (Why is no real title available?)
- scientific article; zbMATH DE number 515743 (Why is no real title available?)
- Program equivalence in linear contexts
- Graded Hoare logic and its categorical semantics
- Weakest preconditions in fibrations
- scientific article; zbMATH DE number 1948186 (Why is no real title available?)
- Codensity lifting of monads and its dual
- Deriving logical relations from interpretations of predicate logic
- On bisimilarity in lambda calculi with continuous probabilistic choice
- Weakest preconditions in fibrations
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
- Bisimulation as a logical relation
- Differential logical relations. I: The simply-typed case
- scientific article; zbMATH DE number 4145879 (Why is no real title available?)
- Logical relations and nondeterminism
- A family of syntactic logical relations for the semantics of Haskell-like languages
- Relating Computational Effects by ⊤ ⊤-Lifting
- Cryptographic logical relations
- Program equivalence in a simple language with state
- Extending equational monadic reasoning with monad transformers
- Logical predicates in higher-order mathematical operational semantics
- Mechanizing logical relations
- Computer Science Logic
- scientific article; zbMATH DE number 1670499 (Why is no real title available?)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages
- Bimonoidal structure of probability monads
- The quantum monadology
- Relations in monadic third-order logic
- Logical relations and the typed λ-calculus
This page was built for publication: Logical relations for monadic types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3545276)
