Mizuki Fujii

According to our database, Mizuki Fujii authored at least 1 paper in 2012.

Collaborative distances:

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

2012

Strong Reduction for Typed Lambda Calculus with First-Class Environments.

Shin-ya Nishizaki, Mizuki Fujii

Proceedings of the Information Computing and Applications - Third International Conference, 2012