Pages that link to "Item:Q879354"
From MaRDI portal
The following pages link to On the relations between monadic semantics (Q879354):
Displaying 17 items.
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Relating computational effects by \(\top \top \)-lifting (Q1951584) (← links)
- Weakest preconditions in fibrations (Q2133463) (← links)
- On the unity of duality (Q2482843) (← links)
- On a monadic semantics for freshness (Q2566026) (← links)
- Syntactic logical relations for polymorphic and recursive types (Q2864153) (← links)
- Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- Monadic representability of certain binary relations (Q3312231) (← links)
- Logical relations for monadic types (Q3545276) (← links)
- (Q4028343) (← links)
- Computational Semantics for Monadic Quantifiers (Q4236059) (← links)
- (Q4411847) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- Weakest preconditions in fibrations (Q5058365) (← links)
- Quantifiers on languages and codensity monads (Q5144687) (← links)
- Monadic translation of classical sequent calculus (Q5410235) (← links)