The following pages link to Abstract Böhm trees (Q4236200):
Displaying 11 items.
- An approach to innocent strategies as graphs (Q418201) (← links)
- Preface to the special volume (Q534064) (← links)
- Computational ludics (Q534713) (← links)
- Totality in arena games (Q636307) (← links)
- Interactive observability in Ludics: the geometry of tests (Q817844) (← links)
- On full abstraction for PCF: I, II and III (Q1854393) (← links)
- (Q2851048) (← links)
- On the Meaning of Logical Completeness (Q3637186) (← links)
- Thick Subtrees, Games and Experiments (Q3637187) (← links)
- Infinitary affine proofs (Q5268998) (← links)
- Game semantics of Martin-Löf type theory (Q6190409) (← links)