Skip to search formSkip to main contentSkip to account menu

Categorical logic

Known as: Mitchell-Bénabou language, Internal language, Categorical semantics 
Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
In our previous work, we developed a reversible programming language and established that every computation in it is a (partial… 
2008
2008
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations… 
2007
2007
Extraction–Transform–Load (ETL) processes comprise complex data workflows, which are responsible for the maintenance of a Data… 
2006
2006
In adults, visual search for a colour target is facilitated if the target and distractors fall in different colour categories (e… 
2006
2006
This paper discusses some of the long term objectives of cognitive robotics and some of the requirements for meeting those… 
2004
2004
This paper constructs models of intuitionistic set theory in suitable cat- egories. First, a Basic Intuitionistic Set Theory… 
1998
1998
The performance of a neural network that categorizes facial expressions is compared with human subjects over a set of experiments… 
Review
1996
Review
1996
In this paper we discuss a general methodology to provide a categorical semantics for a wide class of computational systems… 
1996
1996
In the paper we introduce the notion of S‐nets, S a nonempty construct, as a generalization of the usual nets. S‐net spaces and… 
1987
1987
Enrollment in computer science classes have grown at an alarming rate despite often inadequate university resources and a…