Login

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., LES SYSTÈMES et LES LANGUES
Curry, Haskell B., L - Semantics as a Formal System
Curry, Haskell B., On a Polynomial Representation of $\lambda\beta$-Normal Forms
Curry, Haskell B., Represenatation of Markov Algorithms by Combinators
Curry, Haskell B.; Schoenberg, I.J. , On Pólya Frequency Functions IV: The Fundamental Spline Functions and their Limits (1966)
Curry, H. B., Remarks on Inferential Deduction
Curtis, Herbert, J.; Menger, Karl, On the Formulation of Certain Arithmetical Questions (1956)
Cutland, Nigel ; Kaufmann, Matt, $\Sigma_1$ -- Well-Founded Compactness
Czédli, G.; Huhn, A.P.; Schmidt, E.T., Weakly Independent Subsets in Lattices
Czermak, J. Salzburg, Embeddings of Classical Logic in S4 (1974)