Liste des citations dans Numdam pour : Définitions récursives par cas

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 18 (1984), p. 91-129 / Harvested from Numdam

Durieux, J.-L. ; Saint-James, E.

Une charpente de semi-unification
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988), p. 173-226 / Harvested from Numdam