R. A. G. Seely

Locally cartesian closed categories and type theory

R. A. G. Seely · Mathematical Proceedings of the Cambridge Philosophical Society · 1984 · 195 citations

Type Theory, Topos Theory, Higher Category Theory +9

Weakly distributive categories

J.R.B. Cockett, R. A. G. Seely · Journal of Pure and Applied Algebra · 1997 · 180 citations

Syntax, Automated Reasoning, Higher Category Theory +6

Russian Full-Spectrum Conflict: An Appraisal After Ukraine

Oscar Jonsson, R. A. G. Seely · The Journal of Slavic Military Studies · 2015 · 139 citations

Geopolitical Conflict, Russian Full-spectrum Conflict, International Relations +10

Natural deduction and coherence for weakly distributive categories

Richard Blute, J.R.B. Cockett, R. A. G. Seely et al. · Journal of Pure and Applied Algebra · 1996 · 132 citations

Automated Reasoning, Higher Category Theory, Natural Deduction +5

Categorical semantics for higher order polymorphic lambda calculus

R. A. G. Seely · Journal of Symbolic Logic · 1987 · 120 citations

Engineering, Automated Reasoning, Categorical Structure +13