Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

Dorsch U, Milius S, Schröder L, Wißmann T (2018)


Publication Language: English

Publication Type: Conference contribution

Publication year: 2018

Publisher: Springer

Conference Proceedings Title: Proc.~Coalgebraic Methods in Computer Science (CMCS'18)

Event location: Thessaloniki

DOI: 10.1007/978-3-030-00389-0_5

Authors with CRIS profile

Related research project(s)

How to cite

APA:

Dorsch, U., Milius, S., Schröder, L., & Wißmann, T. (2018). Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. In Corina Cîrstea (Eds.), Proc.~Coalgebraic Methods in Computer Science (CMCS'18). Thessaloniki: Springer.

MLA:

Dorsch, Ulrich, et al. "Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages." Proceedings of the 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science, Thessaloniki Ed. Corina Cîrstea, Springer, 2018.

BibTeX: Download