Logical relations for monadic types
From MaRDI portal
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
(36)- A family of syntactic logical relations for the semantics of Haskell-like languages
- Relations in monadic third-order logic
- Relating computational effects by \(\top \top \)-lifting
- Effectful applicative similarity for call-by-name lambda calculi
- 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
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
- Graded Hoare logic and its categorical semantics
- Program equivalence in linear contexts
- Cryptographic logical relations
- scientific article; zbMATH DE number 1670499 (Why is no real title available?)
- scientific article; zbMATH DE number 1670816 (Why is no real title available?)
- Relating Computational Effects by ⊤ ⊤-Lifting
- scientific article; zbMATH DE number 4145879 (Why is no real title available?)
- Logical relations and the typed λ-calculus
- Computational types from a logical perspective
- scientific article; zbMATH DE number 1342222 (Why is no real title available?)
- scientific article; zbMATH DE number 515743 (Why is no real title available?)
- A note on logical relations between semantics and syntax
- scientific article; zbMATH DE number 1948186 (Why is no real title available?)
- Codensity lifting of monads and its dual
- Program equivalence in a simple language with state
- A categorical framework for congruence of applicative bisimilarity in higher-order languages
- Bisimulation as a logical relation
- Weakest preconditions in fibrations
- Differential logical relations. I: The simply-typed case
- Logical relations and nondeterminism
- Computer Science Logic
- Mechanizing logical relations
- A fibrational tale of operational logical relations: pure, effectful and differential
- Logical predicates in higher-order mathematical operational semantics
- The quantum monadology
- Bialgebraic reasoning on higher-order program equivalence
- Extending equational monadic reasoning with monad transformers
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)
