Head Normal Form Bisimulation for Pairs and the Lambda Mu-Calculus (Extended Abstract)

Soren B. Lassen
Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science (LICS' 06), IEEE Computer Society(2006), pp. 297-306

Abstract