Title: Combinators, l-terms and proof theory
Subjects: Combinatory logic, Proof theory