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), In Proc. Coalgebraic Methods in Computer Science (CMCS'18) (Corina Cîrstea, ed.), Springer, 2018. (To appear)
Bibtex Entry:
@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 = {http://arxiv.org/abs/1805.07211},
  OPTannote = 	 {}
}
Powered by bibtexbrowser