R. A. G. Seely

22 papers and 474 indexed citations i.

R. A. G. Seely has authored 22 papers that have received a total of 474 indexed citations. This includes 16 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 8 papers in Mathematical Physics. The topics of these papers are Logic, programming, and type systems (15 papers), Logic, Reasoning, and Knowledge (11 papers) and Homotopy and Cohomology in Algebraic Topology (8 papers). R. A. G. Seely is often cited by papers focused on Logic, programming, and type systems (15 papers), Logic, Reasoning, and Knowledge (11 papers) and Homotopy and Cohomology in Algebraic Topology (8 papers) and collaborates with scholars based in Canada, United Kingdom and Australia. R. A. G. Seely's co-authors include J.R.B. Cockett, Richard Blute, Prakash Panangaden, Philip Scott and John N. Crossley and has published in prestigious journals such as Mathematical Proceedings of the Cambridge Philosophical Society, Lecture notes in computer science and Journal of Symbolic Logic