Taichi Yachi

According to our database, Taichi Yachi authored at least 1 paper in 2016.

Collaborative distances:

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

2016

A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc.

Taichi Yachi, Eijiro Sumii

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016