J. P. Seldin

• To H.B. Curry
• Lambda-calculus and Combinators, an Introduction
• Studies in illative combinatory logic
• To H.B. Curry