Eijiro Sumii. Environmental bisimulations for higher-order languages (2007)

by Davide Sangiorgi, Naoki Kobayashi
Venue:In LICS