Dr. Hab. Frédéric BLANQUI INRIA permanent full-time researcher Project Deducteam

Research interests: rewriting, type theory, lambda-calculus, termination, logic, functional programming, proof assistants, ...

Publications  | Software  | Teaching  | Students  | Useful links  | Homepages  | Talks

News:

11 June 2015: revised version of The computability path ordering, 45 pages, to appear in Logical Methods in Computer Science.

10 March 2015: formalization of the classical infinite Ramsey theorem in CoLoR.

24 February 2015: revised version of Termination of rewrite relations on λ-terms based on Girard's notion of reducibility, 47 pages, to appear in Theoretical Computer Science.

5 February 2015: CoLoR now available on OPAM.

9 October 2014: PhD defense of Kim Quyen Ly on Automated verification of termination certificates.

24 January 2014: A point on fixpoints in posets, note, 10 pages.

29 June - 3 July 2015: 8th International Conference on Rewriting, Deduction, and Programming (RDP), Warsaw, Poland.

Address:

23 avenue d'Italie, CS 81321, 75214 Paris Cedex 13, FRANCE
Office #3
Tel: +33 (0) 1 39 63 52 66
Fax: +33 (0) 1 39 63 79 88
Email: firstname.name@inria.fr
How to come?