Ryotaro Kasuga

According to our database, Ryotaro Kasuga authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Formalizing dynamic-wind in the lambda calculus.

Ryotaro Kasuga, Shin-ya Nishizaki

Proceedings of the ICSCA 2022: 11th International Conference on Software and Computer Applications, Melaka, Malaysia, February 24, 2022

2021

Untyped lambda calculus with functionally referable environments.

Shin-ya Nishizaki, Ryotaro Kasuga

Proceedings of the ICSCA 2021, 2021