Login / Signup
Mizuki Fujii
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Lambda Calculus
Database Query Languages
Normal Form
Top Venues
ICICA (LNCS)
</>
Publications
</>
Shin-ya Nishizaki
,
Mizuki Fujii
Strong Reduction for Typed Lambda Calculus with First-Class Environments.
ICICA (LNCS)
(2012)