Book contents
- Frontmatter
- Contents
- List of contributors
- Preface
- 1 Origins of bisimulation and coinduction
- 2 An introduction to (co)algebra and (co)induction
- 3 The algorithmics of bisimilarity
- 4 Bisimulation and logic
- 5 Howe's method for higher-order languages
- 6 Enhancements of the bisimulation proof method
- 7 Probabilistic bisimulation
- References
5 - Howe's method for higher-order languages
Published online by Cambridge University Press: 05 November 2011
- Frontmatter
- Contents
- List of contributors
- Preface
- 1 Origins of bisimulation and coinduction
- 2 An introduction to (co)algebra and (co)induction
- 3 The algorithmics of bisimilarity
- 4 Bisimulation and logic
- 5 Howe's method for higher-order languages
- 6 Enhancements of the bisimulation proof method
- 7 Probabilistic bisimulation
- References
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9780511792588/resource/name/firstPage-9780511792588c5_p197-232_CBO.jpg)
- Type
- Chapter
- Information
- Advanced Topics in Bisimulation and Coinduction , pp. 197 - 232Publisher: Cambridge University PressPrint publication year: 2011
References
- 19
- Cited by