The following pages link to (Q4945241):
Displayed 6 items.
- Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
- On full abstraction for PCF: I, II and III (Q1854393) (← links)
- Games characterizing Levy-Longo trees (Q1884875) (← links)
- Adapting innocent game models for the Böhm tree \(\lambda\)-theory (Q1884886) (← links)
- A General Class of Models of $\mathcal{H}^*$ (Q3182956) (← links)
- Innocent game models of untyped \(\lambda\)-calculus (Q5958298) (← links)