Searching for "Category Theory and Logic." – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Bernays-Gödel type-theory
- …th birthday. Abstract. There is a close relationship between category theory and logic. For example…
- Cited by 6 (0 self) – Add To MetaCart
-
Bernays-Godel type-theory
- … 90th birthday. Abstract. There is a close relationship between category theory and logic…
- Add To MetaCart
-
The Categorical Product Data Model as a Formalism for Object-Relational Databases
- … in category theory. The Logical Data Model of Kuper & Vardi [1993] also uses categories in an intuitive form…
- Cited by 6 (3 self) – Add To MetaCart
-
The Categorical Product Data Model as a Formalism for Object--Relational Databases
- … in category theory. The Logical Data Model of Kuper & Vardi [1993] also uses categories in an intuitive form…
- Add To MetaCart
-
Formal Interoperability
- … some ways in which category theory is very useful as a foundation. 2 General Logics The theory…
- Cited by 12 (3 self) – Add To MetaCart
-
A Polymorphic Type System for Extensible Records and Variants
- … constructor for products in category theory or logic. There is, however, one complication; we do not allow…
- Cited by 56 (5 self) – Add To MetaCart
-
Remarks on isomorphisms in typed lambda calculi with empty and sum types
- … logic [2]. Type isomorphism and category theory. Type isomorphism in foundational theories of functional…
- Cited by 7 (2 self) – Add To MetaCart
-
, 295--320, 1995. [103] Computation on data types. The extensional approach, with an application to streams,
- …] Categorical foundations and foundations of category theory, in Logic, Foundations of Mathematics…
- Add To MetaCart
-
Contents. The Development of Categorical Logic
- … CATEGORICAL LOGIC is of very recent origin, its evolution is inseparable from that of category theory itself…
- Add To MetaCart
-
Logic Programming in Tau Categories
- …-ground categorical generalization of fixed point semantics. In previous work connecting category theory and logic…
- Cited by 6 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
