Items where authors include "Milius, S."

Proceedings Paper

Ford, C., Milius, S., Schröder, L. et al. (2 more authors) (2022) Graded monads and behavioural equivalence games. In: Baier, C., (ed.) LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 02-05 Aug 2022, Haifa, Israel. Association for Computing Machinery (ACM) . ISBN 9781450393515