Note on a theorem on abstract differential equations Curry, Haskell B. — 1951 Portugaliae mathematica
Abstract differential operators and interpolation formulas Curry, Haskell B. — 1951 Portugaliae mathematica
The equivalence of two definitions of elementary formal system Haskell B. Curry — 1968 Compositio Mathematica