Taichi Yachi

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Lambda Calculus

Database Query Languages

Program Understanding

Top Venues

Publications

Taichi Yachi, Eijiro Sumii
A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc. APLAS (2016)