Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
Locally nameless
The RE command
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Home
–
Contact
@article{montagu-10, author = {Beno{\^i}t Montagu}, title = {Mechanizing {C}ore {F}-zip using the locally nameless approach}, journal = {5th ACM SIGPLAN Workshop on Mechanizing Metatheory}, year = 2010, mon = sep, }