1 results
Two-dimensional proof-structures and the exchange rule
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 1 / February 2004
- Published online by Cambridge University Press:
- 03 February 2004, pp. 73-96
-
- Article
- Export citation