A constructive proof of the Tychonoff's theorem for locales Igor Kříž (1985) Commentationes Mathematicae Universitatis Carolinae
A logic of injectivity. Adamek, J., Hebert, M., Sousa, L. (2007) Journal of Homotopy and Related Structures
A note on categories enriched in quantaloids and modal and temporal logic Kimmo I. Rosenthal (1993) Cahiers de Topologie et Géométrie Différentielle Catégoriques
A propos d'un théorème de MacIntyre R. Lavendhomme, Th. Lucas (1981) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Algebraic and relational semantics for tense logics Paola Unterholzner (1981) Rendiconti del Seminario Matematico della Università di Padova
Algebraic aspects of topos theory J. Lambek, P. J. Scott (1981) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Algebraic de Morgan's laws for non-commutative rings Susan B. Niefield, Shu-Hao Sun (1995) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Algebraic models of intuitionistic theories of sets and classes. Awodey, S., Forssell, H. (2005) Theory and Applications of Categories [electronic only]