1 results
Encoding left reduction in the λ-calculus with interaction nets
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 6 / December 2002
- Published online by Cambridge University Press:
- 17 January 2003, pp. 797-822
-
- Article
- Export citation