2 results
6 - An Introduction to Uniformity in Ludics
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 236-246
-
- Chapter
- Export citation
First order in Ludics
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 2 / April 2004
- Published online by Cambridge University Press:
- 17 March 2004, pp. 189-213
-
- Article
- Export citation