Pages that link to "Item:Q1951584"
From MaRDI portal
The following pages link to Relating computational effects by \(\top \top \)-lifting (Q1951584):
Displaying 5 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← 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)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
