Arthur Charguéraud
Research
Metatheory
Capabilities
Verification
Fixed points
Parallelism
Publications
by project
by venue
by date
Talks
by project
by venue
by date
Software
LN
CFML
TLC
Teaching
France-IOI
Coq proofs
Home
–
Contact
E-mail address:
Physical address:
MPI-SWS Gottlieb-Daimler-Straße Building 49 D-67663 Kaiserslautern Germany Phone: +49 631 9303-9317