×

zbMATH — the first resource for mathematics

Hindley, J. Roger

Compute Distance To:
Author ID: hindley.j-roger Recent zbMATH articles by "Hindley, J. Roger"
Published as: Hindley, J. R.; Hindley, J. Roger; Hindley, J. Roger.
Documents Indexed: 22 Publications since 1972, including 8 Books

Publications by Year

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.
158
1986
Combinatory logic. Vol. II. Zbl 0242.02029
Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P.
85
1972
Basic simple type theory. Zbl 0906.03012
Hindley, J. Roger
47
1997
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
BCK-combinators and linear \(\lambda\)-terms have types. Zbl 0671.03010
Hindley, J. Roger
14
1989
The simple semantics for Coppo-Dezani-Salle types. Zbl 0514.03009
Hindley, J. R.
13
1982
Intersection types for combinatory logic. Zbl 0771.03004
Dezani-Ciancaglini, Mariangiola; Hindley, J. Roger
12
1992
Principal type-schemes and condensed detachment. Zbl 0708.03007
Hindley, J. Roger; Meredith, David
9
1990
Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends. Zbl 0838.03012
Trigg, Peter; Hindley, J. Roger; Bunder, Martin W.
7
1994
Coppo-Dezani types do not correspond to propositional logic. Zbl 0529.03003
Hindley, J. Roger
6
1984
BCK and BCI logics, condensed detachment and the 2-property. Zbl 0787.03010
Hindley, J. Roger
5
1993
Types with intersection: An introduction. Zbl 0774.03002
Hindley, J. Roger
5
1992
M. H. Newman’s typability algorithm for lambda-calculus. Zbl 1147.03006
Hindley, J. Roger
3
2008
Basic simple type theory. Paperback reprint with corrections. Zbl 1135.03006
Hindley, J. Roger
3
2008
Combinatory weak reduction in lambda calculus. Zbl 0902.68116
Çaǧman, Naim; Hindley, J. Roger
3
1998
On adding (\(\xi\) ) to weak equality in combinatory logic. Zbl 0702.03007
Bunder, Martin W.; Hindley, J. Roger.; Seldin, Jonathan P.
1
1989
Lambda-calculus and combinators, an introduction. 2nd revised and updated ed. Zbl 1149.03016
Hindley, J. Roger; Seldin, Jonathan P.
28
2008
M. H. Newman’s typability algorithm for lambda-calculus. Zbl 1147.03006
Hindley, J. Roger
3
2008
Basic simple type theory. Paperback reprint with corrections. Zbl 1135.03006
Hindley, J. Roger
3
2008
Combinatory weak reduction in lambda calculus. Zbl 0902.68116
Çaǧman, Naim; Hindley, J. Roger
3
1998
Basic simple type theory. Zbl 0906.03012
Hindley, J. Roger
47
1997
Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends. Zbl 0838.03012
Trigg, Peter; Hindley, J. Roger; Bunder, Martin W.
7
1994
BCK and BCI logics, condensed detachment and the 2-property. Zbl 0787.03010
Hindley, J. Roger
5
1993
Intersection types for combinatory logic. Zbl 0771.03004
Dezani-Ciancaglini, Mariangiola; Hindley, J. Roger
12
1992
Types with intersection: An introduction. Zbl 0774.03002
Hindley, J. Roger
5
1992
Principal type-schemes and condensed detachment. Zbl 0708.03007
Hindley, J. Roger; Meredith, David
9
1990
BCK-combinators and linear \(\lambda\)-terms have types. Zbl 0671.03010
Hindley, J. Roger
14
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
Coppo-Dezani types do not correspond to propositional logic. Zbl 0529.03003
Hindley, J. Roger
6
1984
The simple semantics for Coppo-Dezani-Salle types. Zbl 0514.03009
Hindley, J. R.
13
1982
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
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 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

Citations by Year