Pages that link to "Item:Q3545276"
From MaRDI portal
The following pages link to Logical relations for monadic types (Q3545276):
Displaying 23 items.
- Program equivalence in a simple language with state (Q456473) (← links)
- A family of syntactic logical relations for the semantics of Haskell-like languages (Q1012131) (← links)
- Relations in monadic third-order logic (Q1372940) (← links)
- Relating computational effects by \(\top \top \)-lifting (Q1951584) (← links)
- Effectful applicative similarity for call-by-name lambda calculi (Q1989333) (← links)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Deriving logical relations from interpretations of predicate logic (Q2133176) (← links)
- Weakest preconditions in fibrations (Q2133463) (← links)
- Bimonoidal structure of probability monads (Q2134828) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Program equivalence in linear contexts (Q2346993) (← links)
- Cryptographic logical relations (Q2481976) (← links)
- Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918) (← links)
- A note on logical relations between semantics and syntax (Q4353722) (← links)
- (Q4411847) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- Weakest preconditions in fibrations (Q5058365) (← links)
- Computer Science Logic (Q5311272) (← links)
- Mechanizing logical relations (Q5890057) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
- Logical predicates in higher-order mathematical operational semantics (Q6629517) (← links)
