Jump to Content

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