Behavioural Preorders via Graded Monads (bibtex)
by Chase Ford, Stefan Milius and Lutz Schröder
Chase Ford, Stefan Milius and Lutz Schröder: Behavioural Preorders via Graded Monads, Chapter in , Association for Computing Machinery, 2021.
Bibtex Entry:
author = {Ford, Chase and 
          Milius, Stefan and 
          Schr{\"{o}}der, Lutz},
title = {Behavioural Preorders via Graded Monads},
year = {2021},
isbn = {9781665448956},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {},
booktitle = {Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science},
articleno = {12},
numpages = {13}
Powered by bibtexbrowser