https://bookem.ir/books/3247631-Combinators-Terms-and-Proof-Theory