Google Research

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
Download Google Scholar Copy Bibtex

Abstract

No abstract available; check out the Download or Google Scholar links above for publications details.

Research Areas

Algorithms and Theory

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work

Our Research Philosophy