A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_10 ◽

2016 ◽

pp. 156-173 ◽

Author(s):

David Sprunger

Download Full-text