Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh. Combinatory Logic and Lambda Calculus Are Equal, Algebraically. In Marco Gaboardi, Femke van Raamsdonk, editors, 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy. Volume 260 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
@inproceedings{AltenkirchKSV23,
title = {Combinatory Logic and Lambda Calculus Are Equal, Algebraically},
author = {Thorsten Altenkirch and Ambrus Kaposi and Artjoms Sinkarovs and Tamás Végh},
year = {2023},
doi = {10.4230/LIPIcs.FSCD.2023.24},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.24},
researchr = {https://researchr.org/publication/AltenkirchKSV23},
cites = {0},
citedby = {0},
booktitle = {8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy},
editor = {Marco Gaboardi and Femke van Raamsdonk},
volume = {260},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-277-8},
}