A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Curry, Haskell B., Two Examples of Algorithms (1962) |
| Curry, Haskell B., Logic as a Mathematical Science (1963) |
| Curry, Haskell B., Remarks on Inferential Deductions (1964) |
| Curry, Haskell B., Combinatory Logic (1968) |
| Curry, Haskell B., Combinatory Logic (1968) |
| Curry, Haskell B., The Achievements of Logical Formalization (1968) |
| Curry, Haskell B., The Equivalence of Two Definitions of Elementary Formal Systems (1968) |
| Curry, Haskell B., The Undecidability of $\lambda K$-Conversion (1969) |
| Curry, Haskell B.; Schoenberg, I.J. , On Pólya Frequency Functions IV: The Fundamental Spline Functions and their Limits (1966) |
| Curtis, Herbert, J.; Menger, Karl, On the Formulation of Certain Arithmetical Questions (1956) |