Beniamino Accattoli. Sharing a Perspective on the λ-Calculus. In Tijs van der Storm, Robert Hirschfeld, editors, Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2023, Cascais, Portugal, October 25-27, 2023. pages 179-190, ACM, 2023. [doi]
@inproceedings{Accattoli23,
title = {Sharing a Perspective on the λ-Calculus},
author = {Beniamino Accattoli},
year = {2023},
doi = {10.1145/3622758.3622884},
url = {https://doi.org/10.1145/3622758.3622884},
researchr = {https://researchr.org/publication/Accattoli23},
cites = {0},
citedby = {0},
pages = {179-190},
booktitle = {Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2023, Cascais, Portugal, October 25-27, 2023},
editor = {Tijs van der Storm and Robert Hirschfeld},
publisher = {ACM},
}