Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@InProceedings{chargueraud-10-fix, author = "Arthur Chargu{\'e}raud", title = "The Optimal Fixed Point Combinator", year = "2010", volume = "6172", pages = "195--210", editor = "Matt Kaufmann and Lawrence C. Paulson", publisher = "Springer", series = "LNCS", booktitle = "Proceeding of the first international conference on Interactive Theorem Proving ({ITP})", url = "http://arthur.chargueraud.org/research/2010/fix", }