Back to Search Start Over

Coinductive Predicates as Final Coalgebras

Authors :
Matthes, R.
Uustalu, T.
Niqui, M. (Milad)
Rutten, J.J.M.M. (Jan)
Matthes, R.
Uustalu, T.
Niqui, M. (Milad)
Rutten, J.J.M.M. (Jan)
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