%0 Conference Paper %1 conf/lics/FordMS21 %A Ford, Chase %A Milius, Stefan %A Schröder, Lutz %B LICS %D 2021 %I IEEE %K dblp %P 1-13 %T Behavioural Preorders via Graded Monads. %U http://dblp.uni-trier.de/db/conf/lics/lics2021.html#FordMS21 %@ 978-1-6654-4895-6

@inproceedings{conf/lics/FordMS21, added-at = {2024-02-05T00:00:00.000+0100}, author = {Ford, Chase and Milius, Stefan and Schröder, Lutz}, biburl = {https://www.bibsonomy.org/bibtex/226c56df27622cc5742c7d7a75bc5697f/dblp}, booktitle = {LICS}, crossref = {conf/lics/2021}, ee = {https://doi.org/10.1109/LICS52264.2021.9470517}, interhash = {02e56e803867257a53ed1097927b7f84}, intrahash = {26c56df27622cc5742c7d7a75bc5697f}, isbn = {978-1-6654-4895-6}, keywords = {dblp}, pages = {1-13}, publisher = {IEEE}, timestamp = {2024-04-09T13:16:51.000+0200}, title = {Behavioural Preorders via Graded Monads.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2021.html#FordMS21}, year = 2021 }