Bernard Malfon. Typage et validation - une adaptation du point de vue de Lee Naish. In Jean-Jacques Chabrier, editor, JFPLC 95, IVèmes Journées Francophones de Programmation en Logique & Journée d étude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France. pages 291-304, 1995.
Abstract is missing.