Søren B. Lassen, Paul Blain Levy
Typed Normal Form Bisimulation
CSL, 2007.
@inproceedings{CSL-2007-LassenL, author = "Søren B. Lassen and Paul Blain Levy", booktitle = "{Proceedings of the 16th EACSL Annual Conference / 21st International Workshop on Computer Science Logic}", doi = "10.1007/978-3-540-74915-8_23", isbn = "978-3-540-74914-1", pages = "283--297", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Typed Normal Form Bisimulation}", volume = 4646, year = 2007, }