Combinatory Logic and Lambda Calculus Are Equal, Algebraically.

Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tams Vgh

Browse the full FSCD paper archive.