1 results
Type-based termination of recursive definitions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 1 / February 2004
- Published online by Cambridge University Press:
- 03 February 2004, pp. 97-141
-
- Article
- Export citation