Négation constructive et axiomatique interne G. Blanc; K. Liogier — 1997 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Axiomatisation de la catégorie des catégories G. Blanc; M. R. Donnadieu — 1976 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Algèbres effectives dans la programmation logique avec contraintes G. Blanc; N. Bleuzen-Guernalec — 1992 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications