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]
Abstract is missing.