# nLab Robert Seely

## Selected writings

…the equivalence of categories between first order theories and hyperdoctrines:

• R. A. G. Seely, Hyperdoctrines, natural deduction, and the Beck condition, Zeitschrift für Math. Logik und Grundlagen der Math. (1984) (pdf)

…the equivalence of categories between locally cartesian closed categories and dependent type theories was originally claimed in

• R. A. G. Seely, Linear logic, $\ast$-autonomous categories and cofree coalgebras, in Categories in Computer Science and Logic, Contemporary Mathematics 92 (1989) [pdf, ps.gz, ISBN:978-0-8218-5100-5]
• R.A.G. Seely, Modeling computations: a 2-categorical framework, LICS 1987 (pdf)

Introducing differential categories:

category: people

Last revised on January 22, 2023 at 15:08:30. See the history of this page for a list of all contributions to it.