Pages that link to "Item:Q1951584"
From MaRDI portal
The following pages link to Relating computational effects by \(\top \top \)-lifting (Q1951584):
Displaying 10 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- On the relations between monadic semantics (Q879354) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
- Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918) (← links)
- Relational Parametricity for Computational Effects (Q3395102) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- (Q5020616) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)