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
OptiTrust
OptiTrust draft paper
OptiTrust traces
OptiTrust website
Home
–
Contact
@Article{Gor94, author = "Andrew D. Gordon", title = "A Mechanisation of Name-Carrying Syntax up to Alpha-Conversion", journal = "LNCS", year = "1994", volume = "780", pages = "414--426", }