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] |