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
@misc{papakyriakou-al-10, author = {Michalis A. Papakyriakou and Prodromos E. Gerakios and Nikolaos S. Papaspyrou}, title = {A Mechanized Proof of Type Safety for the $\lambda$-Calculus with References}, year = 2010, }