Jonathan P. Seldin

1.6k total citations
26 papers, 757 citations indexed

About

Jonathan P. Seldin is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Mathematical Physics. According to data from OpenAlex, Jonathan P. Seldin has authored 26 papers receiving a total of 757 indexed citations (citations by other indexed papers that have themselves been cited), including 20 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 4 papers in Mathematical Physics. Recurrent topics in Jonathan P. Seldin's work include Logic, programming, and type systems (17 papers), Advanced Algebra and Logic (13 papers) and Logic, Reasoning, and Knowledge (11 papers). Jonathan P. Seldin is often cited by papers focused on Logic, programming, and type systems (17 papers), Advanced Algebra and Logic (13 papers) and Logic, Reasoning, and Knowledge (11 papers). Jonathan P. Seldin collaborates with scholars based in Canada, United Kingdom and Australia. Jonathan P. Seldin's co-authors include J. Roger Hindley, Haskell B. Curry, T. Hoshiko, M. W. Bunder, Daryl McCullough, Owen Rambow, David Rosenthal, Tanya Korelsky, James Hook and Monica S. Lam and has published in prestigious journals such as Journal of Experimental Zoology, Theoretical Computer Science and Journal of Symbolic Logic.

In The Last Decade

Jonathan P. Seldin

21 papers receiving 652 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Jonathan P. Seldin Canada	10	666	512	42	40	30	26	757
J. I. Zucker Canada	12	383 0.6×	400 0.8×	67 1.6×	21 0.5×	17 0.6×	35	519
Lawrence S. Moss United States	16	881 1.3×	492 1.0×	51 1.2×	63 1.6×	25 0.8×	84	1.0k
Erwin Engeler Switzerland	11	348 0.5×	368 0.7×	35 0.8×	39 1.0×	25 0.8×	38	592
Jonathan Stavi Israel	7	594 0.9×	515 1.0×	68 1.6×	28 0.7×	17 0.6×	20	846
J. L. Bell Canada	3	441 0.7×	303 0.6×	38 0.9×	85 2.1×	10 0.3×	3	533
Steven Givant United States	11	414 0.6×	437 0.9×	85 2.0×	56 1.4×	11 0.4×	39	696
Haim Gaifman Israel	15	585 0.9×	420 0.8×	108 2.6×	84 2.1×	34 1.1×	46	994
Heinz-Dieter Ebbinghaus Germany	8	474 0.7×	573 1.1×	157 3.7×	36 0.9×	16 0.5×	18	849
Stephen C Kleene United States	8	241 0.4×	266 0.5×	18 0.4×	27 0.7×	8 0.3×	19	388
Larry Wos United States	10	334 0.5×	232 0.5×	72 1.7×	8 0.2×	38 1.3×	56	459

Countries citing papers authored by Jonathan P. Seldin

Since Specialization

Citations

This map shows the geographic impact of Jonathan P. Seldin'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 Jonathan P. Seldin with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jonathan P. Seldin more than expected).

Fields of papers citing papers by Jonathan P. Seldin

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jonathan P. Seldin. 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 Jonathan P. Seldin. The network helps show where Jonathan P. Seldin may publish in the future.

Co-authorship network of co-authors of Jonathan P. Seldin

This figure shows the co-authorship network connecting the top 25 collaborators of Jonathan P. Seldin. A scholar is included among the top collaborators of Jonathan P. Seldin 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 Jonathan P. Seldin. Jonathan P. Seldin 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

Seldin, Jonathan P.. (2011). The search for a reduction in combinatory logic equivalent to λβ-reduction. Theoretical Computer Science. 412(37). 4905–4918.

Seldin, Jonathan P.. (2011). Curry’s Formalism as Structuralism. Logica Universalis. 5(1). 91–100. 1 indexed citations

Hindley, J. Roger & Jonathan P. Seldin. (2008). Lambda-Calculus and Combinators, an Introduction. Cambridge University Press eBooks. 77 indexed citations

Bunder, M. W. & Jonathan P. Seldin. (2004). Variants of the basic calculus of constructions. Journal of Applied Logic. 2(2). 191–217. 1 indexed citations

Korelsky, Tanya, James Hook, Monica S. Lam, et al.. (2003). Security modeling in the Ulysses environment. 92. 386–392.

Seldin, Jonathan P.. (2002). CURRY’S ANTICIPATION OF THE TYPES USED IN PROGRAMMING LANGUAGES. 1 indexed citations

Seldin, Jonathan P.. (2001). Extensional Set Equality in the Calculus of Constructions. Journal of Logic and Computation. 11(3). 483–493. 1 indexed citations

Seldin, Jonathan P.. (2000). A Gentzen-style sequent calculus of constructions with expansion rules. Theoretical Computer Science. 243(1-2). 199–215. 4 indexed citations

Seldin, Jonathan P.. (2000). On lists and other abstract data types in the calculus of constructions. Mathematical Structures in Computer Science. 10(2). 261–276. 2 indexed citations

10.

Seldin, Jonathan P.. (1997). On the proof theory of Coquand's calculus of constructions. Annals of Pure and Applied Logic. 83(1). 23–101. 9 indexed citations

11.

Seldin, Jonathan P.. (1990). From Exhaustion to Modern Limit Theory.

12.

Seldin, Jonathan P.. (1989). Normalization and excluded middle. I. Studia Logica. 48(2). 193–217. 18 indexed citations

13.

Bunder, M. W., J. Roger Hindley, & Jonathan P. Seldin. (1989). On adding (ξ) to weak equality in combinatory logic. Journal of Symbolic Logic. 54(2). 590–607. 1 indexed citations

14.

Curry, Haskell B., J. Roger Hindley, & Jonathan P. Seldin. (1980). To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press eBooks. 98(2). 111–26. 492 indexed citations

15.

Seldin, Jonathan P.. (1979). Progress report on generalized functionality. Annals of Mathematical Logic. 17(1-2). 29–59. 9 indexed citations

16.

Seldin, Jonathan P.. (1978). A sequent calculus formulation of type assignment with equality rules for the λβ-calculus. Journal of Symbolic Logic. 43(4). 643–649. 1 indexed citations

17.

Seldin, Jonathan P.. (1977). A sequent calculus for type assignment. Journal of Symbolic Logic. 42(1). 11–28. 10 indexed citations

18.

Seldin, Jonathan P.. (1977). The ${\bf Q}$-consistency of ${\cal F}_{22}$.. Notre Dame Journal of Formal Logic. 18(1). 5 indexed citations

19.

Seldin, Jonathan P.. (1975). Arithmetic as a study of formal systems.. Notre Dame Journal of Formal Logic. 16(4). 2 indexed citations

20.

Seldin, Jonathan P. & T. Hoshiko. (1966). Ionic requirement for epinephrine stimulation of frog skin gland secretion. Journal of Experimental Zoology. 163(1). 111–114. 25 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