Christine Paulin-Mohring
Recursive Types in Coq
Christine Paulin-Mohring, Laboratoire de l'Informatique du Parallelisme, CNRS URA 1398, Ecole Normale Superieure de Lyon-FRANCE
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu