A Forgotten Theory of Proofs ? - Erwin Engeler (Logical Methods in Computer Science, 2019)
Looking at MacLane's thesis on proof theory in the light of combinatory logic