Back to Search
Start Over
Coinductive Predicates as Final Coalgebras
- Publication Year :
- 2009
-
Abstract
- We show that coinductive predicates expressing behavioural properties of infinite objects can be themselves expressed as final coalgebras in a category of relations. The well-known case of bisimulation will simply be a special case of such final predicates. We will show how some useful pointwise and mixed properties of streams can be modelled in this way.
Details
- Database :
- OAIster
- Notes :
- English
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1251874827
- Document Type :
- Electronic Resource