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
@article {chargueraud-11-ln, author = "Arthur Chargu{\'e}raud", title = "The Locally Nameless Representation", journal = "Journal of Automated Reasoning", publisher = "Springer Netherlands", issn = "0168-7433", pages = "1-46", note = "10.1007/s10817-011-9225-2", year = "2011", mon = may, }