1 results
Termination checking with types
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 38 / Issue 4 / October 2004
- Published online by Cambridge University Press:
- 15 October 2004, pp. 277-319
- Print publication:
- October 2004
-
- Article
- Export citation