Shin-ya Nishizaki. Transplanting of Environments between Closures in the lambda calculus. In Proceedings of the 12th International Conference on Software and Computer Applications, ICSCA 2023, Kuantan, Malaysia, February 23-25, 2023. pages 122-130, ACM, 2023. [doi]
Abstract is missing.