Arthur Charguéraud
Publications
by date
by topic
by venue
Software
OptiTrust
CFML
TLC
PASL
FormalMetaCoq
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@InProceedings{matthews-99, author = "John Matthews", title = "Recursive Function Definition over Coinductive Types", year = "1999", volume = "1690", pages = "73--90", editor = "Yves Bertot and Gilles Dowek and Andr{\'e} Hirschowitz and C. Paulin and Laurent Th{\'e}ry", publisher = "Springer", series = "LNCS", booktitle = "International Conference on Theorem Proving in Higher Order Logics ({TPHOLs})", }