Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages (bibtex)
by Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Reference:
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages (Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann), Chapter in Coalgebraic Methods in Computer Science, pp. 56–77, Springer International Publishing, 2018.
Bibtex Entry:
@incollection{DorschEA2018,
  doi = {10.1007/978-3-030-00389-0_5},
  url = {https://doi.org/10.1007/978-3-030-00389-0_5},
  year  = {2018},
  publisher = {Springer International Publishing},
  pages = {56--77},
  author = {Ulrich Dorsch and Stefan Milius and Lutz Schr\"{o}der and Thorsten Wi{\ss}mann},
  title = {Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages},
  booktitle = {Coalgebraic Methods in Computer Science}
}
Powered by bibtexbrowser