Shin-ya Nishizaki, Ryotaro Kasuga. Untyped lambda calculus with functionally referable environments. In ICSCA 2021, 10th International Conference on Software and Computer Applications, Kuala Lumpur, Malaysia, February 23-26, 2021. pages 100-104, ACM, 2021. [doi]
Abstract is missing.