Binary Lambda Calculus

Itoken, Klimperei & Frank Pahl