Untyped lambda calculus with functionally referable environments. - Shin-ya Nishizaki; Ryotaro Kasuga (ICSCA, 2021)

Formalizing dynamic-wind in the lambda calculus. - Ryotaro Kasuga; Shin-ya Nishizaki (ICSCA, 2022)