Typed normal form bisimulation (2007)

by S B Lassen, P B Levy
Venue:Proceedings of Conference on Computer Science Logic (CSL