Dr. Hab. Frédéric BLANQUI
INRIA permanent full-time researcher
Research interests: rewriting, type theory, lambda-calculus, termination, logic, functional programming, proof assistants, ...
Publications | Software | Teaching | Students | Useful links | Homepages | Talks
3 November 2015: I moved to the LSV in Cachan, south of Paris.
26 October 2015: publication of The computability path ordering in LMCS.
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.
22-26 June 2016: 1st International Conference on Formal Structures for Computation and Deduction (FSCD), Porto, Portugal.
LSV, 61 avenue du Président Wilson, 94235 Cachan Cedex, France
Office C1-09, Tel: +33 (0) 1 47 40 75 30, Fax: +33 (0) 1 47 40 75 21
How to come?