Mizuki Fujii

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Lambda Calculus

Database Query Languages

Top Venues

Publications

Shin-ya Nishizaki, Mizuki Fujii
Strong Reduction for Typed Lambda Calculus with First-Class Environments. ICICA (LNCS) (2012)