Environmental Bisimulations for HigherOrder Languages (2007)

by D Sangiorgi, N Kobayashi, E Sumii
Venue:In Proceedings of Twenty-Second Annual IEEE Symposium on Logic in Computer Science, Wroclaw