×

Curry, Haskell Brooks (b. 1900 d. 1982)

Author ID: curry.haskell-brooks Recent zbMATH articles by "Curry, Haskell Brooks"
Published as: Curry, H. B.; Curry, Haskell B.; Curry, Haskell
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

Publications by Year

Citations contained in zbMATH Open

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

Cited by 970 Authors

15 Seldin, Jonathan P.
14 Dezani-Ciancaglini, Mariangiola
13 Bimbó, Katalin
11 Bunder, Martin W.
10 Dunn, Jon Michael
10 Meyer, Robert Kenneth
10 Statman, Richard
10 van Bakel, Steffen
8 Hindley, Roger
8 Li, Chin-Shang
7 de Boor, Carl
7 Ronchi Della Rocca, Simona
6 Barendregt, Hendrik Pieter
6 Hindley, J. Roger
6 Toraichi, Kazuo
5 Coppo, Mario
5 Coquand, Thierry
5 Curry, Haskell Brooks
5 Desclés, Jean-Pierre
5 Došen, Kosta
5 Indrzejczak, Andrzej
5 Klev, Ansten Mørch
5 Kotas, Jerzy
5 Mori, Ryoichi
5 Rabe, Florian
4 Barbanera, Franco
4 Béziau, Jean-Yves
4 Boyanov, Borislav Dechev
4 Cīrulis, Jānis
4 Fernández, Maribel
4 Goodman, Timothy N. T.
4 Guttmann, Walter
4 Kamareddine, Fairouz D.
4 Lee, Seng Luan
4 Micchelli, Charles A.
4 Nederpelt, Rob
4 Ono, Katuzi
4 Read, Stephen
4 Reich, Simeon
4 Salibra, Antonino
4 San Martín, Hernán Javier
4 Schempp, Walter Johannes
4 Schoenberg, Isaac Jacob
4 Sørensen, Morten Heine B.
4 Stirton, William R.
4 Zaionc, Marek
4 Zaslavski, Alexander Yakovlevich
3 Belnap, Nuel D. jun.
3 Böhm, Corrado
3 Boričić, Branislav R.
3 Cellucci, Carlo
3 Cramer, Erhard
3 de Hoog, Frank Robert
3 de Vrijer, Roel
3 Fitch, Frederic Brenton
3 Harper, Robert
3 Humberstone, Lloyd
3 Ilić, Mirjana
3 Jun, Young Bae
3 Kamada, Masaru
3 Klop, Jan Willem
3 Laan, Twan
3 Lambek, Joachim
3 Lombardi, Carlos
3 Marcos, João
3 Margaria, Ines
3 Maslov, S. Yu.
3 Meredith, David
3 Minari, Pierluigi
3 Orevkov, V. P.
3 Pascu, Anca Christine
3 Pezlar, Ivo
3 Restall, Greg
3 Ríos, Alejandro
3 Rivieccio, Umberto
3 Sato, Masahiko
3 Schumaker, Larry L.
3 Stump, Aaron
3 Swartz, Blair K.
3 Szasz, Nora
3 Tait, William Walker
3 Tasistro, Alvaro
3 Zacchi, Maddalena
3 Zardini, Elia
2 Abrahamowicz, Michal
2 Ait-Haddou, Rachid
2 Alessi, Fabio
2 Alves, Sandra
2 Anderssen, Robert Scott
2 Assiotis, Theodoros
2 Atkey, Robert
2 Balbes, Raymond
2 Barucq, Hélène
2 Batagelj, Vladimir
2 Belton, Alexander C. R.
2 Bergstra, Jan A.
2 Bickford, Mark
2 Blok, Willem Johannes
2 Brotherston, James
2 Calandra, Henri
...and 870 more Authors
all top 5

Cited in 210 Serials

84 Theoretical Computer Science
55 The Journal of Symbolic Logic
42 Studia Logica
34 Journal of Approximation Theory
30 Journal of Philosophical Logic
22 Information and Computation
17 Annals of Pure and Applied Logic
16 Notre Dame Journal of Formal Logic
15 Archiv für Mathematische Logik und Grundlagenforschung
14 Synthese
13 History and Philosophy of Logic
12 Numerische Mathematik
12 The Review of Symbolic Logic
11 Archive for Mathematical Logic
11 Logica Universalis
10 Journal of Automated Reasoning
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 Journal of Computer and System Sciences
7 Nagoya Mathematical Journal
7 Mathematical Structures in Computer Science
7 Journal of Applied Logic
6 RAIRO, Informatique Théorique
6 Higher-Order and Symbolic Computation
5 Journal of Computational Physics
5 Mathematics of Computation
5 Calcolo
5 Information Sciences
5 Journal of Symbolic Computation
5 Computational Statistics and Data Analysis
5 Journal of Functional Programming
5 Soft Computing
5 Logic and Logical Philosophy
4 Information Processing Letters
4 Mathematical Notes
4 Formal Aspects of Computing
4 Journal of Logic, Language and Information
4 Applied and Computational Harmonic Analysis
3 Computer Methods in Applied Mechanics and Engineering
3 Functional Analysis and its Applications
3 Fuzzy Sets and Systems
3 Mathematische Annalen
3 Mathematical Programming
3 Semigroup Forum
3 Bulletin of the Section of Logic
3 Computer Aided Geometric Design
3 Constructive Approximation
3 Communications in Statistics. Simulation and Computation
3 Journal of Statistical Computation and Simulation
3 Mathematical Programming. Series A. Series B
3 Journal of Applied Non-Classical Logics
3 Topoi
3 Journal of Applied Statistics
3 Foundations of Science
3 The Journal of Logic and Algebraic Programming
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 Algebra Universalis
2 Applied Mathematics and Computation
2 Automatica
2 BIT
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 Compositio Mathematica
2 Computing
2 International Journal of Computer & Information Sciences
2 Journal of Optimization Theory and Applications
2 Journal of Pure and Applied Algebra
2 Kybernetika
2 Meccanica
2 Numerical Functional Analysis and Optimization
2 Proceedings of the American Mathematical Society
2 Programming and Computer Software
2 Order
2 Optimization
2 Journal of Global Optimization
2 Applied Mathematical Modelling
2 International Journal of Computer Mathematics
2 Bulletin of the American Mathematical Society. New Series
2 RAIRO. Informatique Théorique et Applications
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 Computer Physics Communications
1 Discrete Mathematics
...and 110 more Serials
all top 5

Cited in 53 Fields

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

Citations by Year

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