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


Home | Introduction |Authors | Topics | Chronological List | PRL Project

Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu