3 results
Towards a typed Geometry of Interaction
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 3 / June 2010
- Published online by Cambridge University Press:
- 21 April 2010, pp. 473-521
-
- Article
- Export citation
Geometry of Interaction and linear combinatory algebras
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 5 / October 2002
- Published online by Cambridge University Press:
- 24 October 2002, pp. 625-665
-
- Article
- Export citation
Unique decomposition categories, Geometry of Interaction and combinatory logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 10 / Issue 2 / April 2000
- Published online by Cambridge University Press:
- 01 April 2000, pp. 205-230
-
- Article
- Export citation