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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Categorical variables are a natural choice for representing discrete structure in the world. However, stochastic neural networks… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2015
2015
I chart a line of development from category-theoretic models of programs and logics to automatic program verification/analysis… (More)
Is this relevant?
2012
2012
Categorical logic, as its name indicates, is logic in the setting of category theory. But this description does not say much… (More)
Is this relevant?
Review
2010
Review
2010
Preface The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory… (More)
Is this relevant?
2008
2008
  • Sam Staton
  • 23rd Annual IEEE Symposium on Logic in Computer…
  • 2008
Certain principles are fundamental to operational semantics, regardless of the languages or idioms involved. Such principles… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
 
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Ð We formalise, using Category Theory, modularisation techniques for parallel and distributed systems based on the notion of… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We present a new intuitionistic linear logic, Dual Intuitionistic Linear Logic, designed to reflect the motivation of… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
A categorical structure suitable for interpreting polymorphic lambda calculus (PLC) is defined, providing an algebraic semantics… (More)
Is this relevant?
1983
1983
This paper is a sequel to [12]. We are here concerned with properties of theories in full first-order intuitionistic logic; the… (More)
Is this relevant?