Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

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

10.1007/978-3-030-00389-0_5 ◽

2018 ◽

pp. 56-77

Author(s):

Ulrich Dorsch ◽

Stefan Milius ◽

Lutz Schröder ◽

Thorsten Wißmann

Download Full-text