Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.
Cockett, J.R.B., Seely, R.A.G. (1997)
Theory and Applications of Categories [electronic only]
Similarity:
Cockett, J.R.B., Seely, R.A.G. (1997)
Theory and Applications of Categories [electronic only]
Similarity:
Lawrence Neff Stout (2005)
Philosophia Scientiae
Similarity:
Starting with a review of the kinds of questions a foundation for mathematics should address, this paper provides a critique of set theoretical foundations, a proposal that multiple interconnected categorical foundations would be an improvement, and a way of recovering set theory within a categorical approach.
B. Hilken, D. E. Rydeheard (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Lamarche, François (2007)
Theory and Applications of Categories [electronic only]
Similarity:
de Paiva, Valeria (ed.), Pratt, Vaughan (ed.) (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Kosta Došen, Zoran Petrić (2007)
Publications de l'Institut Mathématique
Similarity:
Else M. Barth (1996)
Philosophia Scientiae
Similarity:
Jaroslav Peregrin (1990)
Kybernetika
Similarity:
Taylor, Paul (2002)
Theory and Applications of Categories [electronic only]
Similarity: