Compute Distance To:
 Author ID: curry.haskell-brooks Published as: Curry, H. B.; Curry, Haskell B.; Curry, Haskell more...less External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef
 Documents Indexed: 87 Publications since 1929, including 11 Books 1 Further Contribution Biographic References: 4 Publications Co-Authors: 4 Co-Authors with 5 Joint Publications 58 Co-Co-Authors
all top 5

### Co-Authors

 82 single-authored 2 Feys, Robert 2 Seldin, Jonathan P. 1 Ayer, A. J. 1 Benacerraf, Paul 1 Bernays, Paul 1 Boolos, George S. 1 Brouwer, Luitzen Egbertus Jan 1 Carnap, Rudolf 1 Dummett, Michael Anthony Eardley 1 Frege, Gottlob 1 Gödel, Kurt 1 Hempel, Carl Gustav 1 Heyting, Arend 1 Hilbert, David 1 Hindley, J. Roger 1 Kamareddine, Fairouz D. 1 Kreisel, Georg 1 Poincaré, Henri 1 Putnam, Hilary Whitehall 1 Quine, Willard Van Orman 1 Russell, Bertrand 1 Schoenberg, Isaac Jacob 1 von Neumann, John 1 Wang, Hao
all top 5

### Serials

 15 Bulletin of the American Mathematical Society 11 The Journal of Symbolic Logic 7 American Journal of Mathematics 6 Annals of Mathematics. Second Series 4 Studies in Logic and the Foundations of Mathematics 3 Proceedings of the National Academy of Sciences of the United States of America 2 Dialectica 2 Portugaliae Mathematica 2 Quarterly of Applied Mathematics 2 Transactions of the American Mathematical Society 2 Tohoku Mathematical Journal 2 Rendiconti Di Matematica e Delle Sue Applicazioni, V. Serie 2 Mind. New Series 1 American Mathematical Monthly 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Journal d’Analyse Mathématique 1 Annals of the Japan Association for Philosophy of Science 1 Compositio Mathematica 1 Logique et Analyse. Nouvelle Série 1 Bulletin de la Société Mathématique de Belgique 1 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae 1 Logic PhDs

### Fields

 26 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 2 Computer science (68-XX)

### Citations contained in zbMATH Open

58 Publications have been cited 925 times in 781 Documents Cited by Year
On Polya frequency functions. IV: The fundamental spline functions and their limits. Zbl 0146.08404
Curry, H. B.; Schoenberg, I. J.
1966
Foundations of mathematical logic. Zbl 0163.24209
Curry, H. B.
1963
Combinatory logic. 2nd printing. Zbl 0175.27601
Curry, H. B.; Feys, R.
1968
Combinatory logic. With two sections by William Craig. Zbl 0081.24104
1958
Combinatory logic. Vol. II. Zbl 0242.02029
Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P.
1972
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
1983
The inconsistency of certain formal logics. Zbl 0060.02209
1942
The method of steepest descent for non-linear minimization problems. Zbl 0061.26801
1944
Foundations of mathematical logic. Zbl 0396.03001
1977
Functionality in combinatory logic. Zbl 0010.24201
Curry, H. B.
1934
Grundlagen der kombinatorischen Logik. II. JFM 56.0048.03
Curry, H. B.
1930
A theory of formal deducibility. Zbl 0041.34807
1950
Grundlagen der kombinatorischen Logik. I. JFM 56.0048.02
Curry, H. B.
1930
The combinatory foundations of mathematical logic. Zbl 0060.02207
1942
An analysis of logical substitution. JFM 55.0033.01
Curry, H. B.
1929
The elimination theorem when modality is present. Zbl 0048.00301
1952
Modified basic functionality in combinatory logic. Zbl 0257.02018
1969
Logic as a mathematical science. Zbl 0108.00104
1963
Outlines of a formalist philosophy of mathematics. Zbl 0043.00601
1951
Calculuses and formal systems. Zbl 0092.25001
1958
Apparent variables from the standpoint of combinatory logic. Zbl 0007.19401
Curry, H. B.
1933
A note on the reduction of Gentzen’s calculus LJ. Zbl 0020.33701
Curry, H. B.
1939
A formalization of recursive arithmetic. Zbl 0025.00502
1941
Some additions to the theory of combinators. Zbl 0004.38701
Curry, H. B.
1932
The system $$LD$$. Zbl 0048.00203
1952
Foundations of mathematical logic. (Основания математическоĭ логики.) Zbl 0172.00801
1969
Functionality in combinatory logic. JFM 60.0850.01
Curry, H. B.
1934
The universal quantifier in combinatory logic. Zbl 0001.26101
Curry, H. B.
1931
Combinatory logic. Zbl 0158.24703
Curry, H. B.
1960
Some aspects of the problem of mathematical rigor. Zbl 0025.00304
1941
The paradox of Kleene and Rosser. Zbl 0025.38605
1941
Abstract differential operators and interpolation formulas. Zbl 0045.17602
1951
On the definition of negation by a fixed proposition in inferential calculus. Zbl 0047.25101
1952
Leçons de logique algébrique. Zbl 0048.00201
1952
The consistency of a system of combinatory restricted generality. Zbl 0274.02009
1973
The paradox of Kleene and Rosser. JFM 67.0973.04
Curry, H. B.
1941
The logic of program composition. Zbl 0057.34803
Curry, H. B.
1954
Some advances in the combinatory theory of quantification. Zbl 0060.02208
1942
The purposes of logical formalization. Zbl 0165.30201
Curry, H. B.
1968
Lessons on algebraic logic. Introduction and Chapters I and II. Zbl 1288.03041
2012
A note on the reduction of Gentzen’s calculus LJ. JFM 65.0030.02
Curry, H. B.
1939
Some properties of equality and implication in combinatory logic. Zbl 0010.14604
Curry, H. B.
1934
A mathematical treatment of the rules of the syllogism. Zbl 0013.28902
Curry, H. B.
1936
On the use of dots as brackets in logical expressions. Zbl 0016.33701
Curry, H. B.
1937
Note on iterations with convergence of higher degree. Zbl 0042.36501
1951
The permutability of rules in the classical inferential calculus. Zbl 0048.00202
1952
A revision of the fundamental rules of combinatory logic. Zbl 0060.02205
1941
Some aspects of the problem of mathematical rigor. JFM 67.0036.01
Curry, H. B.
1941
A formalization of recursive arithmetic. JFM 67.0038.01
Curry, H. B.
1941
The undecidability of $$\lambda K$$-conversion. Zbl 0179.02001
1969
Remarks on inferential deduction. Zbl 0192.02802
Curry, H. B.
1965
Recent advances in combinatory logic. Zbl 0197.00601
Curry, H. B.
1968
Outlines of a formalist philosophy of mathematics. 3rd printing. Zbl 0256.02002
1970
Foundations of the theory of abstract sets from standpoint of combinatory logic. JFM 60.0044.02
Curry, H. B.
1934
Some properties of equality and implication in combinatory logic. JFM 60.0849.07
Curry, H. B.
1934
Apparent variables from the standpoint of combinatory logic. JFM 59.0863.04
Curry, H. B.
1933
The universal quantifier in combinatory logic. JFM 57.0057.02
Curry, H. B.
1931
First properties of functionality in combinatory logic. JFM 62.0037.01
Curry, H. B.
1936
Lessons on algebraic logic. Introduction and Chapters I and II. Zbl 1288.03041
2012
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
1983
Foundations of mathematical logic. Zbl 0396.03001
1977
The consistency of a system of combinatory restricted generality. Zbl 0274.02009
1973
Combinatory logic. Vol. II. Zbl 0242.02029
Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P.
1972
Outlines of a formalist philosophy of mathematics. 3rd printing. Zbl 0256.02002
1970
Modified basic functionality in combinatory logic. Zbl 0257.02018
1969
Foundations of mathematical logic. (Основания математическоĭ логики.) Zbl 0172.00801
1969
The undecidability of $$\lambda K$$-conversion. Zbl 0179.02001
1969
Combinatory logic. 2nd printing. Zbl 0175.27601
Curry, H. B.; Feys, R.
1968
The purposes of logical formalization. Zbl 0165.30201
Curry, H. B.
1968
Recent advances in combinatory logic. Zbl 0197.00601
Curry, H. B.
1968
On Polya frequency functions. IV: The fundamental spline functions and their limits. Zbl 0146.08404
Curry, H. B.; Schoenberg, I. J.
1966
Remarks on inferential deduction. Zbl 0192.02802
Curry, H. B.
1965
Foundations of mathematical logic. Zbl 0163.24209
Curry, H. B.
1963
Logic as a mathematical science. Zbl 0108.00104
1963
Combinatory logic. Zbl 0158.24703
Curry, H. B.
1960
Combinatory logic. With two sections by William Craig. Zbl 0081.24104
1958
Calculuses and formal systems. Zbl 0092.25001
1958
The logic of program composition. Zbl 0057.34803
Curry, H. B.
1954
The elimination theorem when modality is present. Zbl 0048.00301
1952
The system $$LD$$. Zbl 0048.00203
1952
On the definition of negation by a fixed proposition in inferential calculus. Zbl 0047.25101
1952
Leçons de logique algébrique. Zbl 0048.00201
1952
The permutability of rules in the classical inferential calculus. Zbl 0048.00202
1952
Outlines of a formalist philosophy of mathematics. Zbl 0043.00601
1951
Abstract differential operators and interpolation formulas. Zbl 0045.17602
1951
Note on iterations with convergence of higher degree. Zbl 0042.36501
1951
A theory of formal deducibility. Zbl 0041.34807
1950
The method of steepest descent for non-linear minimization problems. Zbl 0061.26801
1944
The inconsistency of certain formal logics. Zbl 0060.02209
1942
The combinatory foundations of mathematical logic. Zbl 0060.02207
1942
Some advances in the combinatory theory of quantification. Zbl 0060.02208
1942
A formalization of recursive arithmetic. Zbl 0025.00502
1941
Some aspects of the problem of mathematical rigor. Zbl 0025.00304
1941
The paradox of Kleene and Rosser. Zbl 0025.38605
1941
The paradox of Kleene and Rosser. JFM 67.0973.04
Curry, H. B.
1941
A revision of the fundamental rules of combinatory logic. Zbl 0060.02205
1941
Some aspects of the problem of mathematical rigor. JFM 67.0036.01
Curry, H. B.
1941
A formalization of recursive arithmetic. JFM 67.0038.01
Curry, H. B.
1941
A note on the reduction of Gentzen’s calculus LJ. Zbl 0020.33701
Curry, H. B.
1939
A note on the reduction of Gentzen’s calculus LJ. JFM 65.0030.02
Curry, H. B.
1939
On the use of dots as brackets in logical expressions. Zbl 0016.33701
Curry, H. B.
1937
A mathematical treatment of the rules of the syllogism. Zbl 0013.28902
Curry, H. B.
1936
First properties of functionality in combinatory logic. JFM 62.0037.01
Curry, H. B.
1936
Functionality in combinatory logic. Zbl 0010.24201
Curry, H. B.
1934
Functionality in combinatory logic. JFM 60.0850.01
Curry, H. B.
1934
Some properties of equality and implication in combinatory logic. Zbl 0010.14604
Curry, H. B.
1934
Foundations of the theory of abstract sets from standpoint of combinatory logic. JFM 60.0044.02
Curry, H. B.
1934
Some properties of equality and implication in combinatory logic. JFM 60.0849.07
Curry, H. B.
1934
Apparent variables from the standpoint of combinatory logic. Zbl 0007.19401
Curry, H. B.
1933
Apparent variables from the standpoint of combinatory logic. JFM 59.0863.04
Curry, H. B.
1933
Some additions to the theory of combinators. Zbl 0004.38701
Curry, H. B.
1932
The universal quantifier in combinatory logic. Zbl 0001.26101
Curry, H. B.
1931
The universal quantifier in combinatory logic. JFM 57.0057.02
Curry, H. B.
1931
Grundlagen der kombinatorischen Logik. II. JFM 56.0048.03
Curry, H. B.
1930
Grundlagen der kombinatorischen Logik. I. JFM 56.0048.02
Curry, H. B.
1930
An analysis of logical substitution. JFM 55.0033.01
Curry, H. B.
1929
all top 5

### Cited by 806 Authors

 14 Seldin, Jonathan P. 13 Bimbó, Katalin 11 Bunder, Martin W. 10 Dunn, Jon Michael 10 Meyer, Robert Kenneth 9 Dezani-Ciancaglini, Mariangiola 9 Statman, Richard 9 van Bakel, Steffen 8 Hindley, Roger 8 Li, Chin-Shang 7 de Boor, Carl 7 Ronchi Della Rocca, Simona 6 Barendregt, Hendrik Pieter 6 Curry, Haskell Brooks 6 Hindley, J. Roger 6 Toraichi, Kazuo 5 Indrzejczak, Andrzej 5 Kotas, Jerzy 5 Mori, Ryoichi 4 Boyanov, Borislav Dechev 4 Coppo, Mario 4 Došen, Kosta 4 Fitch, Frederic Brenton 4 Goodman, Timothy N. T. 4 Micchelli, Charles A. 4 Ono, Katuzi 4 Read, Stephen 4 Reich, Simeon 4 Rowe, Reuben N. S. 4 Schempp, Walter Johannes 4 Schoenberg, Isaac Jacob 4 Stirton, William R. 4 Zaslavski, Alexander Yakovlevich 3 Belnap, Nuel D. jun. 3 Béziau, Jean-Yves 3 Boričić, Branislav R. 3 Cellucci, Carlo 3 Cīrulis, Jānis 3 Cramer, Erhard 3 de Hoog, Frank Robert 3 de Vrijer, Roel 3 Fernández, Maribel 3 Guttmann, Walter 3 Humberstone, Lloyd 3 Jun, Young Bae 3 Kamada, Masaru 3 Lombardi, Carlos 3 Longo, Giuseppe 3 Maslov, S. Yu. 3 Meredith, David 3 Minari, Pierluigi 3 Nederpelt, Rob 3 Orevkov, V. P. 3 Rabe, Florian 3 Ríos, Alejandro 3 Rivieccio, Umberto 3 Salibra, Antonino 3 Sato, Masahiko 3 Schumaker, Larry L. 3 Sørensen, Morten Heine B. 3 Stump, Aaron 3 Swartz, Blair K. 3 Szasz, Nora 3 Tasistro, Alvaro 3 Zardini, Elia 2 Abrahamowicz, Michal 2 Ait-Haddou, Rachid 2 Anderssen, Robert Scott 2 Assiotis, Theodoros 2 Atkey, Robert 2 Balbes, Raymond 2 Batagelj, Vladimir 2 Belton, Alexander C. R. 2 Blok, Willem Johannes 2 Böhm, Corrado 2 Cardone, Felice 2 Chajda, Ivan 2 Chou, Fee Seng 2 Chui, Charles Kam-tai 2 Ciampi, Antonio 2 Copello, Ernesto 2 Crolard, Tristan 2 Dekkers, Wil J. M. 2 Desclés, Jean-Pierre 2 Dougherty, Daniel J. 2 Felscher, Walter 2 Garcia, Stephan Ramon 2 Geuvers, Jan Herman 2 Goh, Say Song 2 Goldberg, Mayer 2 Goldblatt, Robert Ian 2 Górny, Julian 2 Grimstad, Bjarne 2 Guillot, Dominique 2 Harper, Robert 2 Hirokawa, Sachio 2 Horn, Alfred 2 Horozal, Fulya 2 Huang, Wenzhu 2 Hutchinson, Michael F. ...and 706 more Authors
all top 5

### Cited in 184 Serials

 78 Theoretical Computer Science 59 The Journal of Symbolic Logic 38 Studia Logica 33 Journal of Approximation Theory 28 Journal of Philosophical Logic 21 Annals of Pure and Applied Logic 15 Archiv für Mathematische Logik und Grundlagenforschung 14 Notre Dame Journal of Formal Logic 14 Information and Computation 12 Numerische Mathematik 12 Synthese 12 History and Philosophy of Logic 10 Journal of Automated Reasoning 10 Archive for Mathematical Logic 10 The Review of Symbolic Logic 9 Journal of Mathematical Analysis and Applications 9 Transactions of the American Mathematical Society 9 The Bulletin of Symbolic Logic 8 Journal of Computational and Applied Mathematics 8 Journal of Soviet Mathematics 8 Logical Methods in Computer Science 7 International Journal of Systems Science 7 Nagoya Mathematical Journal 6 RAIRO, Informatique Théorique 6 Logica Universalis 5 Mathematics of Computation 5 Calcolo 5 Information Sciences 5 Computational Statistics and Data Analysis 5 Journal of Functional Programming 5 Higher-Order and Symbolic Computation 5 Journal of Applied Logic 4 Mathematical Notes 4 Mathematische Annalen 4 Journal of Symbolic Computation 4 Formal Aspects of Computing 4 MSCS. Mathematical Structures in Computer Science 4 Applied and Computational Harmonic Analysis 4 Soft Computing 4 Logic and Logical Philosophy 3 Computer Methods in Applied Mechanics and Engineering 3 Information Processing Letters 3 Algebra Universalis 3 Compositio Mathematica 3 Functional Analysis and its Applications 3 Fuzzy Sets and Systems 3 Journal of Computer and System Sciences 3 Journal of Pure and Applied Algebra 3 Mathematical Programming 3 Semigroup Forum 3 Computer Aided Geometric Design 3 Constructive Approximation 3 Communications in Statistics. Simulation and Computation 3 Journal of Statistical Computation and Simulation 3 Journal of Applied Non-Classical Logics 3 Journal of Applied Statistics 3 Foundations of Science 3 Proceedings of the Japan Academy 3 BIT. Nordisk Tidskrift for Informationsbehandling 3 Asian-European Journal of Mathematics 3 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge 2 Acta Informatica 2 Computers & Mathematics with Applications 2 Journal of Computational Physics 2 Automatica 2 BIT 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Computing 2 International Journal of Computer & Information Sciences 2 Journal of Optimization Theory and Applications 2 Kybernetika 2 Numerical Functional Analysis and Optimization 2 Proceedings of the American Mathematical Society 2 Order 2 Optimization 2 Journal of Global Optimization 2 Applied Mathematical Modelling 2 International Journal of Computer Mathematics 2 RAIRO. Informatique Théorique et Applications 2 Mathematical Programming. Series A. Series B 2 Journal of Logic, Language and Information 2 Topoi 2 The Journal of Logic and Algebraic Programming 2 Advances in Difference Equations 2 Statistical Methodology 2 Bulletin of the American Mathematical Society 2 Optimization Letters 2 European Journal for Philosophy of Science 2 Journal of Logical and Algebraic Methods in Programming 1 Analysis Mathematica 1 Bulletin of the Australian Mathematical Society 1 The Canadian Journal of Statistics 1 Computers and Fluids 1 Discrete Mathematics 1 Educational Studies in Mathematics 1 International Journal of General Systems 1 International Journal of Mathematical Education in Science and Technology 1 Israel Journal of Mathematics 1 Journal d’Analyse Mathématique 1 Journal of Mathematical Biology ...and 84 more Serials
all top 5

### Cited in 50 Fields

 451 Mathematical logic and foundations (03-XX) 184 Computer science (68-XX) 90 Numerical analysis (65-XX) 83 Approximations and expansions (41-XX) 32 Order, lattices, ordered algebraic structures (06-XX) 31 Statistics (62-XX) 23 History and biography (01-XX) 22 Operations research, mathematical programming (90-XX) 15 General and overarching topics; collections (00-XX) 14 Category theory; homological algebra (18-XX) 12 Combinatorics (05-XX) 11 General algebraic systems (08-XX) 11 Calculus of variations and optimal control; optimization (49-XX) 10 Systems theory; control (93-XX) 9 Probability theory and stochastic processes (60-XX) 8 Ordinary differential equations (34-XX) 8 Harmonic analysis on Euclidean spaces (42-XX) 7 Group theory and generalizations (20-XX) 7 Operator theory (47-XX) 7 Convex and discrete geometry (52-XX) 7 Information and communication theory, circuits (94-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 6 Partial differential equations (35-XX) 5 Number theory (11-XX) 5 Integral transforms, operational calculus (44-XX) 5 Functional analysis (46-XX) 5 Biology and other natural sciences (92-XX) 4 Commutative algebra (13-XX) 4 Real functions (26-XX) 4 Mechanics of deformable solids (74-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Topological groups, Lie groups (22-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Integral equations (45-XX) 3 Fluid mechanics (76-XX) 2 Algebraic geometry (14-XX) 2 Functions of a complex variable (30-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Special functions (33-XX) 2 Difference and functional equations (39-XX) 2 Abstract harmonic analysis (43-XX) 2 Algebraic topology (55-XX) 2 Quantum theory (81-XX) 1 Nonassociative rings and algebras (17-XX) 1 Measure and integration (28-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Optics, electromagnetic theory (78-XX) 1 Geophysics (86-XX) 1 Mathematics education (97-XX)

### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.