Deductive systems and categories.
Došen, Kosta (1998)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Došen, Kosta (1998)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Věra Trnková (1986)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Bumby, Richard T., Latch, Dana May (1986)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Kosta Došen (1998)
Zbornik Radova
Similarity:
G. M. Kelly, I. J. Le Creurer (1997)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Andrea Corradini, Fabio Gadducci (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Adámek, Jiří, Kelly, G.M. (2000)
Theory and Applications of Categories [electronic only]
Similarity:
Lutz Schröder (2000)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: