Login / Signup
Ryotaro Kasuga
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Programming Language
Database
Lambda Calculus
Top Venues
ICSCA
</>
Publications
</>
Ryotaro Kasuga
,
Shin-ya Nishizaki
Formalizing dynamic-wind in the lambda calculus.
ICSCA
(2022)
Shin-ya Nishizaki
,
Ryotaro Kasuga
Untyped lambda calculus with functionally referable environments.
ICSCA
(2021)