Pages that link to "Item:Q4977225"
From MaRDI portal
The following pages link to GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION (Q4977225):
Displaying 5 items.
- Interactive observability in Ludics: the geometry of tests (Q817844) (← links)
- Game semantics approach to higher-order complexity (Q2396718) (← links)
- Lorenzen and Constructive Mathematics (Q5024724) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- Expansion trees with cut (Q5236547) (← links)