Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

Ulrich Dorsch , Stefan Milius , Lutz Schröder , Thorsten Wissmann
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.56-77, ⟨10.1007/978-3-030-00389-0_5⟩
Conference papers hal-02044640v1