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
@misc{krebbers-10, author = {Krebbers, R.}, title = {{A formalization of $\Gamma_\infty$ in Coq}}, year = {2010}, url = {http://robbertkrebbers.nl/research/gammainf/}, }