1 results
Proof nets and explicit substitutions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 13 / Issue 3 / June 2003
- Published online by Cambridge University Press:
- 20 May 2003, pp. 409-450
-
- Article
- Export citation