Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,362,775 papers from all fields of science
Search
Sign In
Create Free Account
Categorical logic
Known as:
Mitchell-Bénabou language
, Internal language
, Categorical semantics
Expand
Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Cartesian closed category
Categorical set theory
Category theory
Curry–Howard correspondence
Expand
Broader (1)
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Isomorphic Interpreters from Logically Reversible Abstract Machines
Roshan P. James
,
A. Sabry
International Workshop on Reversible Computation
2012
Corpus ID: 7231721
In our previous work, we developed a reversible programming language and established that every computation in it is a (partial…
Expand
2008
2008
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Lucas Dixon
,
Ross Duncan
AISC/MKM/Calculemus
2008
Corpus ID: 14334758
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations…
Expand
2007
2007
Towards a Benchmark for ETL Workflows
Panos Vassiliadis
,
Anastasios Karagiannis
,
Vasiliki Tziovara
,
A. Simitsis
International Workshop on Quality in Databases
2007
Corpus ID: 350250
Extraction–Transform–Load (ETL) processes comprise complex data workflows, which are responsible for the maintenance of a Data…
Expand
2006
2006
Categorical effects in children's colour search : A cross-linguistic comparison
C. Daoutis
,
A. Franklin
,
A. Riddett
,
Alexandra Clifford
,
I. Davies
2006
Corpus ID: 16529330
In adults, visual search for a colour target is facilitated if the target and distractors fall in different colour categories (e…
Expand
2006
2006
Long Term Requirements for Cognitive Robotics
A. Sloman
,
J. Wyatt
,
Nick Hawes
,
jlw nah
,
Jackie Chappell
,
G. Kruijff
2006
Corpus ID: 2775565
This paper discusses some of the long term objectives of cognitive robotics and some of the requirements for meeting those…
Expand
2004
2004
Algebraic models of intuitionistic theories of sets and classes.
S. Awodey
,
H. Forssell
2004
Corpus ID: 8017373
This paper constructs models of intuitionistic set theory in suitable cat- egories. First, a Basic Intuitionistic Set Theory…
Expand
1998
1998
A Simple Neural Network Models Categorical Perception of Facial Expressions
C. Padgett
,
G. Cottrell
1998
Corpus ID: 18011414
The performance of a neural network that categorizes facial expressions is compared with human subjects over a set of experiments…
Expand
Review
1996
Review
1996
Enriched Categories as Models of Computation
Ugo MontanariUniversit
1996
Corpus ID: 18424805
In this paper we discuss a general methodology to provide a categorical semantics for a wide class of computational systems…
Expand
1996
1996
Net Spaces in Categorical Topology a
J. Šlapal
1996
Corpus ID: 704513
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…
Expand
1987
1987
Predicting success of a beginning computer course using logistic regression (abstract only)
A. A. Chowdhury
,
C. Nelson
,
Clinton P. Fuelling
,
Roy L. McCormick
International Conference on Scientific Computing
1987
Corpus ID: 8135916
Enrollment in computer science classes have grown at an alarming rate despite often inadequate university resources and a…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required