The following pages link to From Foundations to Ludics (Q4650294):
Displaying 5 items.
- Figures of dialogue: a view from ludics (Q408341) (← links)
- Structure of proofs and the complexity of cut elimination (Q2368983) (← links)
- Cut as Consequence (Q3019775) (← links)
- Ludics and Its Applications to Natural Language Semantics (Q3638287) (← links)
- Zeta functions and the (linear) logic of Markov processes (Q6597969) (← links)
