Pages that link to "Item:Q3637187"
From MaRDI portal
The following pages link to Thick Subtrees, Games and Experiments (Q3637187):
Displaying 6 items.
- Realizability for Peano arithmetic with winning conditions in HON games (Q345704) (← links)
- Interactive observability in Ludics: the geometry of tests (Q817844) (← links)
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
- Understanding Game Semantics Through Coherence Spaces (Q3178256) (← links)
- Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
- (Q5094132) (← links)
