Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages (bibtex)

by Ulrich Dorsch, Stefan Milius, Lutz Schröder and Thorsten Wißmann

Reference:

Ulrich Dorsch, Stefan Milius, Lutz Schröder and Thorsten Wißmann: Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages, In Corina Cîrstea, ed.: Proc. Coalgebraic Methods in Computer Science (CMCS'18), Springer, 2018. To appear

Bibtex Entry:

@string{springer="Springer"}
@InProceedings{dmsw18,
  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},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Coalgebraic Methods in Computer Science (CMCS'18)},
  year = 	 {2018},
  editor = 	 {Corina C{\^i}rstea},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  note = 	 {{T}o appear},
  url = {http://arxiv.org/abs/1805.07211},
  doi       = {10.1007/978-3-030-00389-0\_5},
  OPTannote = 	 {}
}