# zbMATH — the first resource for mathematics

## Hindley, J. Roger

Compute Distance To:
 Author ID: hindley.j-roger Published as: Hindley, J. R.; Hindley, J. Roger; Hindley, J. Roger.
 Documents Indexed: 22 Publications since 1972, including 8 Books
all top 5

#### Co-Authors

 10 single-authored 6 Seldin, Jonathan P. 3 Bunder, Martin W. 1 Çağman, Naim 1 Curry, Haskell Brooks 1 de Groote, Philippe 1 Dezani-Ciancaglini, Mariangiola 1 Lercher, Bruce 1 Meredith, David 1 Trigg, Peter
all top 5

#### Serials

 6 Theoretical Computer Science 2 The Journal of Symbolic Logic 2 Cambridge Tracts in Theoretical Computer Science 1 Bulletin of the London Mathematical Society 1 Notre Dame Journal of Formal Logic 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 Lecture Notes in Computer Science 1 London Mathematical Society Lecture Note Series 1 London Mathematical Society Student Texts 1 Studies in Logic and the Foundations of Mathematics

#### Fields

 22 Mathematical logic and foundations (03-XX) 7 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 1 Category theory; homological algebra (18-XX)

#### Citations contained in zbMATH Open

18 Publications have been cited 458 times in 356 Documents Cited by Year
Introduction to combinators and $$\lambda$$-calculus. Zbl 0614.03014
Hindley, J. Roger; Seldin, Jonathan P.
1986
Combinatory logic. Vol. II. Zbl 0242.02029
Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P.
1972
Basic simple type theory. Zbl 0906.03012
Hindley, J. Roger
1997
Introduction to combinatory logic. Zbl 0269.02005
Hindley, J. R.; Lercher, B.; Seldin, J. P.
1972
Lambda-calculus and combinators, an introduction. 2nd revised and updated ed. Zbl 1149.03016
Hindley, J. Roger; Seldin, Jonathan P.
2008
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
Seldin, J. P. (ed.); Hindley, J. R. (ed.)
1980
BCK-combinators and linear $$\lambda$$-terms have types. Zbl 0671.03010
Hindley, J. Roger
1989
The simple semantics for Coppo-Dezani-Salle types. Zbl 0514.03009
Hindley, J. R.
1982
Intersection types for combinatory logic. Zbl 0771.03004
Dezani-Ciancaglini, Mariangiola; Hindley, J. Roger
1992
Principal type-schemes and condensed detachment. Zbl 0708.03007
Hindley, J. Roger; Meredith, David
1990
Combinatory abstraction using $${\mathbf B}$$, $${\mathbf B}^ \prime$$ and friends. Zbl 0838.03012
Trigg, Peter; Hindley, J. Roger; Bunder, Martin W.
1994
Coppo-Dezani types do not correspond to propositional logic. Zbl 0529.03003
Hindley, J. Roger
1984
BCK and BCI logics, condensed detachment and the 2-property. Zbl 0787.03010
Hindley, J. Roger
1993
Types with intersection: An introduction. Zbl 0774.03002
Hindley, J. Roger
1992
M. H. Newman’s typability algorithm for lambda-calculus. Zbl 1147.03006
Hindley, J. Roger
2008
Basic simple type theory. Paperback reprint with corrections. Zbl 1135.03006
Hindley, J. Roger
2008
Combinatory weak reduction in lambda calculus. Zbl 0902.68116
Çaǧman, Naim; Hindley, J. Roger
1998
On adding ($$\xi$$ ) to weak equality in combinatory logic. Zbl 0702.03007
Bunder, Martin W.; Hindley, J. Roger.; Seldin, Jonathan P.
1989
Lambda-calculus and combinators, an introduction. 2nd revised and updated ed. Zbl 1149.03016
Hindley, J. Roger; Seldin, Jonathan P.
2008
M. H. Newman’s typability algorithm for lambda-calculus. Zbl 1147.03006
Hindley, J. Roger
2008
Basic simple type theory. Paperback reprint with corrections. Zbl 1135.03006
Hindley, J. Roger
2008
Combinatory weak reduction in lambda calculus. Zbl 0902.68116
Çaǧman, Naim; Hindley, J. Roger
1998
Basic simple type theory. Zbl 0906.03012
Hindley, J. Roger
1997
Combinatory abstraction using $${\mathbf B}$$, $${\mathbf B}^ \prime$$ and friends. Zbl 0838.03012
Trigg, Peter; Hindley, J. Roger; Bunder, Martin W.
1994
BCK and BCI logics, condensed detachment and the 2-property. Zbl 0787.03010
Hindley, J. Roger
1993
Intersection types for combinatory logic. Zbl 0771.03004
Dezani-Ciancaglini, Mariangiola; Hindley, J. Roger
1992
Types with intersection: An introduction. Zbl 0774.03002
Hindley, J. Roger
1992
Principal type-schemes and condensed detachment. Zbl 0708.03007
Hindley, J. Roger; Meredith, David
1990
BCK-combinators and linear $$\lambda$$-terms have types. Zbl 0671.03010
Hindley, J. Roger
1989
On adding ($$\xi$$ ) to weak equality in combinatory logic. Zbl 0702.03007
Bunder, Martin W.; Hindley, J. Roger.; Seldin, Jonathan P.
1989
Introduction to combinators and $$\lambda$$-calculus. Zbl 0614.03014
Hindley, J. Roger; Seldin, Jonathan P.
1986
Coppo-Dezani types do not correspond to propositional logic. Zbl 0529.03003
Hindley, J. Roger
1984
The simple semantics for Coppo-Dezani-Salle types. Zbl 0514.03009
Hindley, J. R.
1982
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
Seldin, J. P. (ed.); Hindley, J. R. (ed.)
1980
Combinatory logic. Vol. II. Zbl 0242.02029
Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P.
1972
Introduction to combinatory logic. Zbl 0269.02005
Hindley, J. R.; Lercher, B.; Seldin, J. P.
1972
all top 5

#### Cited by 372 Authors

 13 Bunder, Martin W. 12 Seldin, Jonathan P. 9 Dezani-Ciancaglini, Mariangiola 9 Hindley, J. Roger 8 Bimbó, Katalin 7 Hindley, Roger 7 Hirokawa, Sachio 6 Fernández, Maribel 6 Longo, Giuseppe 6 Ronchi Della Rocca, Simona 6 van Bakel, Steffen 5 Alves, Sandra 5 Broda, Sabine 5 Kamareddine, Fairouz D. 5 Komori, Yuichi 4 Coppo, Mario 4 Damas, Luís 4 Huet, Gerard P. 4 Klop, Jan Willem 4 Mairson, Harry George 3 Barendregt, Hendrik Pieter 3 Basin, David A. 3 Crole, Roy L. 3 Dougherty, Daniel J. 3 Florido, Mário 3 Francez, Nissim 3 Fujita, Ken-etsu 3 Fulop, Sean A. 3 Gabbay, Murdoch James 3 Harper, Robert 3 Kohlhase, Michael 3 Laan, Twan 3 Margaria, Ines 3 Mezghiche, Mohamed 3 Minari, Pierluigi 3 Moggi, Eugenio 3 Nederpelt, Rob 3 Paolini, Luca 3 Salvati, Sylvain 3 Strahm, Thomas 3 Wos, Larry 3 Zacchi, Maddalena 2 Abramsky, Samson 2 Baral, Chitta R. 2 Barbanera, Franco 2 Bergstra, Jan A. 2 Bethke, Inge 2 Bettini, Lorenzo 2 Cantini, Andrea 2 Coquand, Thierry 2 David, Rene 2 De Queiroz, Ruy José Guerra Barretto 2 Dekkers, Wil J. M. 2 del Vado Vírseda, Rafael 2 Domrachev, V. N. 2 Dowek, Gilles 2 Dunn, Jon Michael 2 Gallier, Jean H. 2 Geuvers, Jan Herman 2 Ghilezan, Silvia 2 Gonzalez, Marcos Alvarez 2 Gottesman, Aaron 2 Grygiel, Katarzyna 2 Güyer, Tolga 2 Hardin, Thérèse 2 Jay, C. Barry 2 Johann, Patricia 2 Kanazawa, Makoto 2 Kapitonova, Yu. V. 2 Lescanne, Pierre 2 Mackie, Ian 2 Martini, Simone 2 Matsuda, Naosuke 2 Matthews, Seán 2 Meyer, Robert Kenneth 2 Mirasyedioğlu, Şeref 2 Mitchell, John C. 2 Naibo, Alberto 2 Nour, Karim 2 Padovani, Vincent 2 Parsons, Charles D. 2 Ravara, António 2 Rehof, Jakob 2 Salle, Patrick 2 Samojlenko, L. G. 2 Sazonov, Vladimir Yu. 2 Sørensen, Morten Heine B. 2 Stirton, William R. 2 Stump, Aaron 2 Urzyczyn, Paweł 2 van Oostrom, Vincent 2 van Raamsdonk, Femke 2 Vasconcelos, Vasco Thudichum 2 Venneri, Betti 2 Wells, Joe B. 2 Yokouchi, Hirofumi 1 Achermann, Franz 1 Aït-Kaci, Hassan 1 Aitken, Wayne 1 Anderson, Penny ...and 272 more Authors
all top 5

#### Cited in 57 Serials

 88 Theoretical Computer Science 34 The Journal of Symbolic Logic 24 Information and Computation 14 Studia Logica 14 Annals of Pure and Applied Logic 14 MSCS. Mathematical Structures in Computer Science 9 Notre Dame Journal of Formal Logic 8 Archive for Mathematical Logic 8 Journal of Functional Programming 7 Journal of Symbolic Computation 7 Journal of Automated Reasoning 6 Information Processing Letters 6 Journal of Philosophical Logic 6 Journal of Logic, Language and Information 5 RAIRO, Informatique Théorique 5 The Bulletin of Symbolic Logic 4 Archiv für Mathematische Logik und Grundlagenforschung 3 Journal of Computer and System Sciences 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 Applicable Algebra in Engineering, Communication and Computing 3 Logica Universalis 2 Acta Informatica 2 Applied Mathematics and Computation 2 Fuzzy Sets and Systems 2 Cybernetics 2 History and Philosophy of Logic 2 The Journal of Logic and Algebraic Programming 2 Theory and Practice of Logic Programming 2 Journal of Applied Logic 2 Logical Methods in Computer Science 2 The Review of Symbolic Logic 1 Computers & Mathematics with Applications 1 Discrete Applied Mathematics 1 The Mathematical Intelligencer 1 Algebra and Logic 1 BIT 1 Bulletin of the London Mathematical Society 1 International Journal of Computer & Information Sciences 1 Mathematica Slovaca 1 Proceedings of the American Mathematical Society 1 Siberian Mathematical Journal 1 Bulletin of the Section of Logic 1 RAIRO. Informatique Théorique et Applications 1 Journal of Applied Non-Classical Logics 1 Mathematical Logic Quarterly (MLQ) 1 Theory of Computing Systems 1 Annals of Combinatorics 1 Higher-Order and Symbolic Computation 1 RAIRO. Theoretical Informatics and Applications 1 Lobachevskii Journal of Mathematics 1 Logic and Logical Philosophy 1 ACM Transactions on Computational Logic 1 Journal of Theoretical Biology 1 Journal of Logical and Algebraic Methods in Programming
all top 5

#### Cited in 13 Fields

 283 Mathematical logic and foundations (03-XX) 187 Computer science (68-XX) 11 Category theory; homological algebra (18-XX) 6 History and biography (01-XX) 5 General and overarching topics; collections (00-XX) 5 General algebraic systems (08-XX) 3 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 Number theory (11-XX) 1 Geometry (51-XX) 1 Probability theory and stochastic processes (60-XX)