Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
Locally nameless
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@draft{sanchez-hidalgo-ortega-12, author = {S{\'a}nchez-Gil, L. and Hidalgo-Herrero, M. and Ortega-Mall{\'e}n, Y.}, title = {A locally nameless representation for a natural semantics for lazy evaluation}, year = 2012, mon = jan, }