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
Home
–
Contact
@InProceedings{honda-berger-yoshida-06, author = "Kohei Honda and Martin Berger and Nobuko Yoshida", title = "Descriptive and Relative Completeness of Logics for Higher-Order Functions", year = "2006", volume = "4052", editor = "M. Bugliesi and B. Preneel and V. Sassone and I. Wegener", publisher = "Springer", series = "LNCS", booktitle = "Automata, Languages and Programming, 33rd International Colloquium ({ICALP})", url = "http://dx.doi.org/10.1007/11787006_31", }