| |
| 2004 | ||
|---|---|---|
| 1 | EE | Gilles Barthe, Maria João Frade, E. Giménez, Luis Pinto, Tarmo Uustalu: Type-based termination of recursive definitions. Mathematical Structures in Computer Science 14(1): 97-141 (2004) |
| 1 | Gilles Barthe | [1] |
| 2 | Maria João Frade | [1] |
| 3 | Luis Pinto | [1] |
| 4 | Tarmo Uustalu | [1] |