Environmental Bisimulations for Higher-Order Languages | IEEE Conference Publication | IEEE Xplore