Combinators, l-terms and proof theory | lit.salon