Combinatory logic
Verf. Bd. 2: Haskell B. Curry ; J. Roger Hindley ; Jonathan S. Seldin