Un algorithme d'inference de types pour les types coinductifs. Memoire de DEA, Ecole Normale Superieure de Lyon (1998)

by A Bac