| 2006 | ||
|---|---|---|
| 2 | EE | Gilles Barthe, Benjamin Grégoire, Fernando Pastawski: CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions. LPAR 2006: 257-271 |
| 2005 | ||
| 1 | EE | Gilles Barthe, Benjamin Grégoire, Fernando Pastawski: Practical Inference for Type-Based Termination in a Polymorphic Setting. TLCA 2005: 71-85 |
| 1 | Gilles Barthe | [1] [2] |
| 2 | Benjamin Grégoire | [1] [2] |