×

zbMATH — the first resource for mathematics

Seldin, Jonathan P.

Compute Distance To:
Author ID: seldin.jonathan-p Recent zbMATH articles by "Seldin, Jonathan P."
Published as: Seldin, J. P.; Seldin, Jonathan P.
External Links: MGP
Documents Indexed: 39 Publications since 1968, including 5 Books

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 392 times in 300 Documents Cited by Year
Introduction to combinators and \(\lambda\)-calculus. Zbl 0614.03014
Hindley, J. Roger; Seldin, Jonathan P.
158
1986
Combinatory logic. Vol. II. Zbl 0242.02029
Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P.
85
1972
Introduction to combinatory logic. Zbl 0269.02005
Hindley, J. R.; Lercher, B.; Seldin, J. P.
36
1972
Lambda-calculus and combinators, an introduction. 2nd revised and updated ed. Zbl 1149.03016
Hindley, J. Roger; Seldin, Jonathan P.
28
2008
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
Seldin, J. P. (ed.); Hindley, J. R. (ed.)
23
1980
On the proof theory of the intermediate logic MH. Zbl 0639.03022
Seldin, Jonathan P.
13
1986
Normalization and excluded middle. I. Zbl 0692.03007
Seldin, Jonathan P.
10
1989
On the proof theory of Coquand’s calculus of constructions. Zbl 0873.03048
Seldin, Jonathan P.
8
1997
Progress report on generalized functionality. Zbl 0442.03014
Seldin, Jonathan P.
6
1979
A sequent calculus for type assignment. Zbl 0369.02014
Seldin, Jonathan P.
5
1977
Coquand’s calculus of constructions: A mathematical foundation for a proof development system. Zbl 0766.03007
Seldin, Jonathan P.
4
1992
A Gentzen-style sequent calculus of constructions with expansion rules. Zbl 0945.03082
Seldin, Jonathan P.
3
2000
Extensional set equality in the calculus of constructions. Zbl 0984.03015
Seldin, Jonathan P.
2
2001
On lists and other abstract data types in the calculus of constructions. Zbl 0956.68089
Seldin, Jonathan P.
2
2000
The \(Q\)-consistency of \(F_{22}\). Zbl 0283.02027
Seldin, Jonathan P.
2
1977
Bridging Curry and Church’s typing style. Zbl 1436.03106
Kamareddine, Fairouz; Seldin, Jonathan P.; Wells, J. B.
1
2016
The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction. Zbl 1246.03033
Seldin, Jonathan P.
1
2011
Special issue: Lambda-calculus and logic in honour of Roger Hindley. Zbl 0930.00009
Dezani-Ciancaglini, Mariangiola (ed.); Longo, Giuseppe (ed.); Seldin, Jonathan P. (ed.)
1
1999
On adding (\(\xi\) ) to weak equality in combinatory logic. Zbl 0702.03007
Bunder, Martin W.; Hindley, J. Roger.; Seldin, Jonathan P.
1
1989
A sequent calculus formulation of type assignment with equality rules for the \(\lambda\beta\)-calculus. Zbl 0395.03014
Seldin, Jonathan P.
1
1978
Equality in \(\mathfrak F_{22}\). Zbl 0311.02039
Seldin, Jonathan P.
1
1975
Arithmetic as a study of formal systems. Zbl 0311.02002
Seldin, Jonathan P.
1
1975
Bridging Curry and Church’s typing style. Zbl 1436.03106
Kamareddine, Fairouz; Seldin, Jonathan P.; Wells, J. B.
1
2016
The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction. Zbl 1246.03033
Seldin, Jonathan P.
1
2011
Lambda-calculus and combinators, an introduction. 2nd revised and updated ed. Zbl 1149.03016
Hindley, J. Roger; Seldin, Jonathan P.
28
2008
Extensional set equality in the calculus of constructions. Zbl 0984.03015
Seldin, Jonathan P.
2
2001
A Gentzen-style sequent calculus of constructions with expansion rules. Zbl 0945.03082
Seldin, Jonathan P.
3
2000
On lists and other abstract data types in the calculus of constructions. Zbl 0956.68089
Seldin, Jonathan P.
2
2000
Special issue: Lambda-calculus and logic in honour of Roger Hindley. Zbl 0930.00009
Dezani-Ciancaglini, Mariangiola (ed.); Longo, Giuseppe (ed.); Seldin, Jonathan P. (ed.)
1
1999
On the proof theory of Coquand’s calculus of constructions. Zbl 0873.03048
Seldin, Jonathan P.
8
1997
Coquand’s calculus of constructions: A mathematical foundation for a proof development system. Zbl 0766.03007
Seldin, Jonathan P.
4
1992
Normalization and excluded middle. I. Zbl 0692.03007
Seldin, Jonathan P.
10
1989
On adding (\(\xi\) ) to weak equality in combinatory logic. Zbl 0702.03007
Bunder, Martin W.; Hindley, J. Roger.; Seldin, Jonathan P.
1
1989
Introduction to combinators and \(\lambda\)-calculus. Zbl 0614.03014
Hindley, J. Roger; Seldin, Jonathan P.
158
1986
On the proof theory of the intermediate logic MH. Zbl 0639.03022
Seldin, Jonathan P.
13
1986
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
Seldin, J. P. (ed.); Hindley, J. R. (ed.)
23
1980
Progress report on generalized functionality. Zbl 0442.03014
Seldin, Jonathan P.
6
1979
A sequent calculus formulation of type assignment with equality rules for the \(\lambda\beta\)-calculus. Zbl 0395.03014
Seldin, Jonathan P.
1
1978
A sequent calculus for type assignment. Zbl 0369.02014
Seldin, Jonathan P.
5
1977
The \(Q\)-consistency of \(F_{22}\). Zbl 0283.02027
Seldin, Jonathan P.
2
1977
Equality in \(\mathfrak F_{22}\). Zbl 0311.02039
Seldin, Jonathan P.
1
1975
Arithmetic as a study of formal systems. Zbl 0311.02002
Seldin, Jonathan P.
1
1975
Combinatory logic. Vol. II. Zbl 0242.02029
Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P.
85
1972
Introduction to combinatory logic. Zbl 0269.02005
Hindley, J. R.; Lercher, B.; Seldin, J. P.
36
1972
all top 5

Cited by 317 Authors

15 Seldin, Jonathan P.
14 Bunder, Martin W.
9 Hindley, J. Roger
8 Dezani-Ciancaglini, Mariangiola
7 Bimbó, Katalin
7 Hindley, Roger
6 Longo, Giuseppe
5 Ronchi Della Rocca, Simona
4 Hirokawa, Sachio
4 Huet, Gerard P.
4 Klop, Jan Willem
4 Mairson, Harry George
3 Barendregt, Hendrik Pieter
3 Basin, David A.
3 Coppo, Mario
3 Crole, Roy L.
3 Dekkers, Wil J. M.
3 Fujita, Ken-etsu
3 Gabbay, Murdoch James
3 Haeusler, Edward Hermann
3 Harper, Robert
3 Kamareddine, Fairouz D.
3 Kohlhase, Michael
3 Komori, Yuichi
3 Laan, Twan
3 Mezghiche, Mohamed
3 Minari, Pierluigi
3 Moggi, Eugenio
3 Naibo, Alberto
3 Nederpelt, Rob
3 Strahm, Thomas
2 Abramsky, Samson
2 Baral, Chitta R.
2 Bergstra, Jan A.
2 Cantini, Andrea
2 Coquand, Thierry
2 Costa, Vaston G.
2 David, Rene
2 De Queiroz, Ruy José Guerra Barretto
2 del Vado Vírseda, Rafael
2 Domrachev, V. N.
2 Dougherty, Daniel J.
2 Dowek, Gilles
2 Gallier, Jean H.
2 Gonzalez, Marcos Alvarez
2 Gottesman, Aaron
2 Güyer, Tolga
2 Hardin, Thérèse
2 Jay, C. Barry
2 Johann, Patricia
2 Kapitonova, Yu. V.
2 Leivant, Daniel M.
2 Margaria, Ines
2 Matsuda, Naosuke
2 Matthews, Seán
2 Meyer, Robert Kenneth
2 Mirasyedioğlu, Şeref
2 Mitchell, John C.
2 Paolini, Luca
2 Parsons, Charles D.
2 Pereira, Luiz Carlos P. D.
2 Salle, Patrick
2 Salvati, Sylvain
2 Samojlenko, L. G.
2 Sanz, Wagner
2 Sazonov, Vladimir Yu.
2 Sørensen, Morten Heine B.
2 Stirton, William R.
2 Stump, Aaron
2 van Raamsdonk, Femke
2 Venneri, Betti
2 Wells, Joe B.
2 Wos, Larry
2 Yokouchi, Hirofumi
1 Achermann, Franz
1 Aït-Kaci, Hassan
1 Aitken, Wayne
1 Anderson, Penny
1 Andou, Yuuki
1 Asperti, Andrea
1 Bach Poulsen, Casper
1 Bacon, Andrew
1 Balsters, Herman
1 Barbanera, Franco
1 Barnett, Michael P.
1 Barrett, Jeffrey A.
1 Bellot, Patrick
1 Bendkowski, Maciej
1 Berardi, Stefano
1 Berarducci, Alessandro
1 Berline, Chantal
1 Bernardi, Claudio
1 Bethke, Inge
1 Bettini, Lorenzo
1 Blass, Andreas Raphael
1 Blute, Richard F.
1 Böhm, Corrado
1 Bono, Viviana
1 Boričić, Branislav R.
1 Çağman, Naim
...and 217 more Authors
all top 5

Cited in 52 Serials

74 Theoretical Computer Science
35 The Journal of Symbolic Logic
17 Information and Computation
15 Studia Logica
12 Annals of Pure and Applied Logic
11 MSCS. Mathematical Structures in Computer Science
7 Notre Dame Journal of Formal Logic
7 Journal of Symbolic Computation
6 Journal of Automated Reasoning
6 Archive for Mathematical Logic
6 Journal of Functional Programming
6 The Bulletin of Symbolic Logic
5 Archiv für Mathematische Logik und Grundlagenforschung
5 Information Processing Letters
5 RAIRO, Informatique Théorique
4 Journal of Philosophical Logic
3 Journal of Pure and Applied Algebra
3 Transactions of the American Mathematical Society
3 Journal of Computer Science and Technology
3 Formal Aspects of Computing
3 Journal of Applied Logic
2 Acta Informatica
2 Applied Mathematics and Computation
2 Cybernetics
2 History and Philosophy of Logic
2 Applicable Algebra in Engineering, Communication and Computing
2 The Journal of Logic and Algebraic Programming
2 Theory and Practice of Logic Programming
2 Logica Universalis
2 Logical Methods in Computer Science
1 Computers & Mathematics with Applications
1 Discrete Applied Mathematics
1 Algebra and Logic
1 BIT
1 Bulletin of the London Mathematical Society
1 Fuzzy Sets and Systems
1 International Journal of Computer & Information Sciences
1 Journal of Computer and System Sciences
1 Mathematica Slovaca
1 Proceedings of the American Mathematical Society
1 Siberian Mathematical Journal
1 Synthese
1 RAIRO. Informatique Théorique et Applications
1 Journal of Applied Non-Classical Logics
1 Theory of Computing Systems
1 Higher-Order and Symbolic Computation
1 RAIRO. Theoretical Informatics and Applications
1 Lobachevskii Journal of Mathematics
1 ACM Transactions on Computational Logic
1 The Review of Symbolic Logic
1 Journal of Theoretical Biology
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year