# Categorical logic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2017

Highly Cited

2017

- ICLR
- 2017

Categorical variables are a natural choice for representing discrete structure in the world. However, stochastic neural networks… (More)

Is this relevant?

2015

2015

- 30th Annual ACM/IEEE Symposium on Logic in…
- 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

- Sets and Extensions in the Twentieth Century
- 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

- ArXiv
- 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

- 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

1997

Highly Cited

1997

- Sci. Comput. Program.
- 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

- 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

- J. Symb. Log.
- 1987

A categorical structure suitable for interpreting polymorphic lambda calculus (PLC) is defined, providing an algebraic semantics… (More)

Is this relevant?

1983

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?