BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Blanqui:Fr=eacute=d=eacute=ric

Contributed to:

CSL 20092009
CSL 20082008
CSL 20072007
ESOP 20072007
FoSSaCS 20062006
CSL 20052005
RTA 20042004
RTA 20032003
TLCA 20032003
LICS 20012001
RTA 20002000
RTA 19991999

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.