Login / Signup
Michel Parigot
Publication Activity (10 Years)
Years Active: 1982-2020
Publications (10 Years): 2
Top Topics
Lambda Calculus
Complex Objects
Theorem Prover
Database Query Languages
Top Venues
FoSSaCS
LICS
Log. Methods Comput. Sci.
LPAR
</>
Publications
</>