Pages that link to "Item:Q332080"
From MaRDI portal
The following pages link to Intuitionistic games: determinacy, completeness, and normalization (Q332080):
Displaying 7 items.
- Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
- Answer set programming in intuitionistic logic (Q1688962) (← links)
- Small model property reflects in games and automata (Q2151424) (← links)
- Weak axioms of determinacy and subsystems of analysis I: δ20 games (Q3353013) (← links)
- The Parallel Intensionally Fully Abstract Games Model of PCF (Q4635807) (← links)
- Finite high-order games and an inductive approach towards Gowers's dichotomy (Q5942883) (← links)
- A dialogical route to logical pluralism (Q6088956) (← links)
