Typed Normal Form Bisimulation

Soren B. Lassen
Paul Blain Levy
Proceedings of the 21st International Workshop on Computer Science Logic (CSL'07), Springer Verlag, Berlin/Heidelberg(2007), pp. 283-297

Abstract