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
@InCollection{Bar92, author = "Henk P. Barendregt", title = "Lambda Calculi with Types", year = "1992", volume = "2, {\em Computational Structures}", editor = "S. Abramsky and D. M. Gabbay and T. S. E Maibaum", publisher = "Oxford University Press", booktitle = "Handbook of {L}ogic in {C}omputer {S}cience", }