Sumii Appendixes to the paper “Environmental Bisimulations for Higher-Order Languages.” http://www.cs.unibo.it/˜sangio/ DOC_public/appLICS07.pdf (2007)

by D Sangiorgi, N Kobayashi, E