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
JFLA'25
Typing overloading (JFLA)
Typing overloading (Extended Wip)
Bijection C/λ-calculus
Home
–
Contact
@InProceedings{urban-tasson-05, author = "Christian Urban and Christine Tasson", title = "Nominal Techniques in {Isabelle/HOL}", year = "2005", volume = "3632", pages = "38--53", mon = jul, publisher = "Springer", series = "LNCS", booktitle = "International Conference on Automated Deduction (CADE)", url = "http://www4.in.tum.de/~urbanc/Publications/nom-cade-05.ps", }