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
@InCollection{gianantonio-miculan-02, author = "Pietro Di Gianantonio and Marino Miculan", title = "A Unifying Approach to Recursive and Co-recursive Definitions", year = "2003", volume = "2646", pages = "148--161", editor = "Herman Geuvers and Freek Wiedijk", publisher = "Springer-Verlag", series = "KBCS", address = "Berlin", booktitle = "Selected Papers from 2nd Int. Wksh. on Types for Proofs and Programs, Berg en Dal, The Netherlands, 24--28 Apr. 2002", }