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{gabbay-pitts-99, author = "M. Gabbay and A. Pitts", title = "A New Approach to Abstract Syntax Involving Binders", year = "1999", pages = "214--224", mon = jul, publisher = "IEEE", address = "Washington - Brussels - Tokyo", booktitle = "14th Symposium on Logic in Computer Science ({LICS}'99)", }