Indexed categories for program development
B. Hilken, D. E. Rydeheard (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “Upsetting the foundations for mathematics”
Indexed categories for program development
Towards a logic of semiotic systems
Constantin Thiopoulos (1992)
Mathématiques et Sciences Humaines
Similarity:
The rationalistic denotational approach to semantics is not adequate for capturing the structural dimension of meaning, which is immanent in semiotic systems. The demand for a structural approach to semantics is intensified by a turn in Artificial Intelligence, introduced by Connectionism and Information Retrieval. This paper presents such a structural approach to semantics founded on the phenomenological and autopoietic paradigms and proposes a formalization with the help of category...
Predicative algebraic set theory.
Awodey, Steve, Warren, Michael A. (2005)
Theory and Applications of Categories [electronic only]
Similarity:
Relevant Categories and Partial Functions
Kosta Došen, Zoran Petrić (2007)
Publications de l'Institut Mathématique
Similarity:
Algebraic aspects of topos theory
J. Lambek, P. J. Scott (1981)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
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:
Exploring the gap between linear and classical logic.
Lamarche, François (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Preface to the special volume: “Chu spaces: theory and applications".
de Paiva, Valeria (ed.), Pratt, Vaughan (ed.) (2006)
Theory and Applications of Categories [electronic only]
Similarity:
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
Similarity:
The separated extensional Chu category.
Barr, Michael (1998)
Theory and Applications of Categories [electronic only]
Similarity: