Environmental bisimulations for higher-order languages (2007)

by D Sangiorgi, N Kobayashi, E Sumii
Venue:In Proc. of LICS’07