J.R.B. Cockett

1.8k total citations
65 papers, 828 citations indexed

About

J.R.B. Cockett is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Mathematical Physics. According to data from OpenAlex, J.R.B. Cockett has authored 65 papers receiving a total of 828 indexed citations (citations by other indexed papers that have themselves been cited), including 40 papers in Artificial Intelligence, 27 papers in Computational Theory and Mathematics and 22 papers in Mathematical Physics. Recurrent topics in J.R.B. Cockett's work include Logic, programming, and type systems (32 papers), Homotopy and Cohomology in Algebraic Topology (22 papers) and Logic, Reasoning, and Knowledge (18 papers). J.R.B. Cockett is often cited by papers focused on Logic, programming, and type systems (32 papers), Homotopy and Cohomology in Algebraic Topology (22 papers) and Logic, Reasoning, and Knowledge (18 papers). J.R.B. Cockett collaborates with scholars based in Canada, United States and Australia. J.R.B. Cockett's co-authors include R. A. G. Seely, Stephen Lack, Richard Blute, Michael Fourman, J.D. Birdwell, Peter Freyd, D. Spooner, Bonnie F. Jacobs, Yves Lafont and Peter Johnstone and has published in prestigious journals such as SHILAP Revista de lepidopterología, Information Sciences and Journal of the ACM.

In The Last Decade

J.R.B. Cockett

58 papers receiving 694 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
J.R.B. Cockett Canada	16	591	426	263	180	99	65	828
Achim Jung United Kingdom	14	677 1.1×	732 1.7×	213 0.8×	274 1.5×	107 1.1×	43	1.1k
Gaisi Takeuti United States	17	861 1.5×	960 2.3×	174 0.7×	168 0.9×	104 1.1×	77	1.4k
Gabriele Castellini Puerto Rico	9	246 0.4×	643 1.5×	314 1.2×	309 1.7×	254 2.6×	30	1.1k
Yiannis N. Moschovakis United States	18	439 0.7×	747 1.8×	169 0.6×	360 2.0×	64 0.6×	53	994
R. F. C. Walters Australia	15	398 0.7×	342 0.8×	425 1.6×	330 1.8×	213 2.2×	46	850
Yuri Matiyasevich Russia	9	205 0.3×	283 0.7×	60 0.2×	86 0.5×	67 0.7×	61	473
G. E. Strecker United States	11	413 0.7×	904 2.1×	454 1.7×	466 2.6×	366 3.7×	36	1.6k
Thierry Coquand Sweden	18	1.3k 2.3×	1.0k 2.4×	218 0.8×	194 1.1×	180 1.8×	110	1.6k
Lev D. Beklemishev Russia	11	462 0.8×	505 1.2×	79 0.3×	166 0.9×	45 0.5×	56	762
A. J. Wilkie United Kingdom	12	242 0.4×	431 1.0×	346 1.3×	490 2.7×	108 1.1×	29	845

Countries citing papers authored by J.R.B. Cockett

Since Specialization

Citations

This map shows the geographic impact of J.R.B. Cockett's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by J.R.B. Cockett with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites J.R.B. Cockett more than expected).

Fields of papers citing papers by J.R.B. Cockett

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by J.R.B. Cockett. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by J.R.B. Cockett. The network helps show where J.R.B. Cockett may publish in the future.

Co-authorship network of co-authors of J.R.B. Cockett

This figure shows the co-authorship network connecting the top 25 collaborators of J.R.B. Cockett. A scholar is included among the top collaborators of J.R.B. Cockett based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with J.R.B. Cockett. J.R.B. Cockett is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Cockett, J.R.B., et al.. (2016). Categorical Models of the Differential λ-Calculus Revisited. Electronic Notes in Theoretical Computer Science. 325. 63–83. 3 indexed citations

Cockett, J.R.B., et al.. (2012). Range Categories II: Towards Regularity. Theory and applications of categories. 26. 453–500. 4 indexed citations

Cockett, J.R.B., et al.. (2012). Range Categories I: General Theory. Theory and applications of categories. 26. 412–452. 7 indexed citations

Cockett, J.R.B., et al.. (2011). Differential Restriction Categories. Theory and applications of categories. 25. 537–613. 2 indexed citations

Cockett, J.R.B. & R. A. G. Seely. (2011). The Faà di Bruno construction. Theory and applications of categories. 25. 393–425. 1 indexed citations

Blute, Richard, J.R.B. Cockett, & R. A. G. Seely. (2009). Cartesian Differential Categories. Theory and applications of categories. 22. 622–672. 24 indexed citations

Cockett, J.R.B., et al.. (2009). Pola: A Language for PTIME Programming.. 7–8. 4 indexed citations

Cockett, J.R.B., et al.. (2008). Introduction to Turing categories. Annals of Pure and Applied Logic. 156(2-3). 183–209. 15 indexed citations

Cockett, J.R.B., et al.. (2006). An introduction to partial lambda algebras. PRISM (University of Calgary). 1 indexed citations

10.

Cockett, J.R.B., et al.. (2006). Stable Meet Semilattice Fibrations and Free Restriction Categories. Theory and applications of categories. 16. 307–341. 9 indexed citations

11.

Birdwell, J.D. & J.R.B. Cockett. (2003). Inductive inference of model structure using hypothesis feedback. 2. 1891–1894. 1 indexed citations

12.

Cockett, J.R.B. & Stephen Lack. (2002). Restriction categories I: categories of partial maps. Theoretical Computer Science. 270(1-2). 223–259. 87 indexed citations

13.

Cockett, J.R.B. & Stephen Lack. (2001). The extensive completion of a distributive category. Theory and applications of categories. 8. 541–554. 5 indexed citations

14.

Cockett, J.R.B. & R. A. G. Seely. (1999). Linearly distributive functors. Journal of Pure and Applied Algebra. 143(1-3). 155–203. 22 indexed citations

15.

Cockett, J.R.B. & D. Spooner. (1997). Constructing process categories. Theoretical Computer Science. 177(1). 73–109. 4 indexed citations

16.

Cockett, J.R.B. & R. A. G. Seely. (1997). Weakly distributive categories. Journal of Pure and Applied Algebra. 114(2). 133–173. 80 indexed citations

17.

Blute, Richard, et al.. (1996). Natural deduction and coherence for weakly distributive categories. Journal of Pure and Applied Algebra. 113(3). 229–296. 59 indexed citations

18.

Cockett, J.R.B.. (1992). Categories with finite limits and stable binary coproducts can be subdirectly decomposed. Journal of Pure and Applied Algebra. 78(2). 131–138. 2 indexed citations

19.

Cockett, J.R.B.. (1990). List-arithmetic distributive categories: Locoi. Journal of Pure and Applied Algebra. 66(1). 1–29. 18 indexed citations

20.

Cockett, J.R.B.. (1987). Discrete decision theory: manipulations. Theoretical Computer Science. 54(2-3). 215–236. 12 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact