The following pages link to Computer Science Logic (Q5394571):
Displayed 6 items.
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- Algebras for Parameterised Monads (Q2888473) (← links)
- Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918) (← links)
- A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators (Q3540185) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- Relational Parametricity for Control Considered as a Computational Effect (Q5262944) (← links)