1 results
Normalization by evaluation with typed abstract syntax
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 6 / November 2001
- Published online by Cambridge University Press:
- 28 November 2001, pp. 673-680
-
- Article
-
- You have access
- Export citation