![]() |
Dr. Hab. Frédéric BLANQUIINRIA permanent full-time researcher Project Deducteam |
![]() |
Research interests: rewriting, type theory, λ-calculus, termination, proof assistants, proof system interoperability, ...
Publications | Talks | Software | Teaching | Students | Useful links | Homepages | PC
Internship/PhD/postdoc proposals:
News:
Duties:
Teaching:
LMF, 4 avenue des Sciences, 91190 Gif-sur-Yvette, France Office 3S61, Tel: +33 (0) 1 81 87 54 35 Email: frederic . blanqui (a) inria . fr How to come? Transport - Campus |
![]() |