`Travelled to:`

1 × Austria

1 × Germany

1 × Switzerland

1 × USA

2 × Italy

2 × Portugal

2 × Spain

2 × United Kingdom

`Collaborated with:`

∅ J.Jouannaud C.Roux A.Rubio P.Strub T.Hardin P.Weis C.Kirchner C.Riba M.Okada

`Talks about:`

construct (6) calculus (6) type (6) rewrit (5) algebra (3) termin (3) order (3) confluenc (2) system (2) modulo (2)

## Person: Frédéric Blanqui

### DBLP: Blanqui:Fr=eacute=d=eacute=ric

### Contributed to:

### Wrote 12 papers:

- CSL-2009-BlanquiR #on the #semantics #termination
- On the Relation between Sized-Types Based Termination and Semantic Labelling (FB, CR), pp. 147–162.
- CSL-2008-BlanquiJR #order
- The Computability Path Ordering: The End of a Quest (FB, JPJ, AR), pp. 1–14.
- CSL-2007-BlanquiJS #calculus #induction
- Building Decision Procedures in the Calculus of Inductive Constructions (FB, JPJ, PYS), pp. 328–342.
- ESOP-2007-BlanquiHW #data type #implementation #on the
- On the Implementation of Construction Functions for Non-free Concrete Data Types (FB, TH, PW), pp. 95–109.
- FoSSaCS-2006-BlanquiKR #confluence #on the #λ-calculus
- On the Confluence of λ-Calculus with Conditional Rewriting (FB, CK, CR), pp. 382–397.
- CSL-2005-Blanqui #algebra #calculus #decidability
- Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations (FB), pp. 135–150.
- RTA-2004-Blanqui #higher-order #term rewriting #termination #type system
- A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems (FB), pp. 24–39.
- RTA-2003-Blanqui #deduction
- Rewriting Modulo in Deduction Modulo (FB), pp. 395–409.
- TLCA-2003-Blanqui #algebra #calculus #induction
- Inductive Types in the Calculus of Algebraic Constructions (FB), pp. 46–59.
- LICS-2001-Blanqui #calculus
- Definitions by Rewriting in the Calculus of Constructions (FB), pp. 9–18.
- RTA-2000-Blanqui #confluence #higher-order #term rewriting #termination
- Termination and Confluence of Higher-Order Rewrite Systems (FB), pp. 47–61.
- RTA-1999-BlanquiJO #algebra #calculus
- The Calculus of algebraic Constructions (FB, JPJ, MO), pp. 301–316.