Exploring the gap between linear and classical logic. Lamarche, François (2007) Theory and Applications of Categories [electronic only]
Expressions indéterminées, constructivisme et axiome du choix Alain Prouté (1992) Cahiers de Topologie et Géométrie Différentielle Catégoriques