Logique de la géométrie algébrique J. Penon — 1992 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Catégorification de structures définies par monade cartésienne D. Bourn; J. Penon — 2005 Cahiers de Topologie et Géométrie Différentielle Catégoriques