Coq en coq. Rapport de Recherche 3026 (1996)

by B Barras