Combinatory Logic and Lambda Calculus Are Equal, Algebraically
T. Altenkirch, A. Kaposi, A. Šinkarovs, and T. Végh, “Combinatory Logic and Lambda Calculus Are Equal, Algebraically,” in 8th international conference on formal structures for computation and deduction (FSCD 2023), Jun. 2023, vol. 260, pp. 24:1–24:19. doi: 10.4230/LIPIcs.FSCD.2023.24.
Additional Information
The sources of the paper with the code are available here. Here is the official link to the published paper.