Graded Monads and Behavioural Equivalence Games (bibtex)

by Chase Ford, Harsh Beohar, Barbara König, Stefan Milius and Lutz Schröder

Reference:

Chase Ford, Harsh Beohar, Barbara König, Stefan Milius and Lutz Schröder: Graded Monads and Behavioural Equivalence Games, In Christel Baier, ed.: Proc. 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Association for Computing Machinery, 2022. To appear; available online at https://arxiv.org/pdf/2203.15467

Bibtex Entry:

@InProceedings{fbkms22,
  author = 	 {Ford, Chase and Beohar, Harsh and K\"onig, Barbara and Milius, Stefan and Schr\"oder, Lutz},
  title = 	 {Graded Monads and Behavioural Equivalence Games},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
  year = 	 {2022},
  editor = 	 {Baier, Christel},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Association for Computing Machinery},
  note = 	 {{T}o appear; available online at \url{https://arxiv.org/pdf/2203.15467}},
  OPTannote = 	 {}
}