Equational Theories and Monads from Polynomial Cayley Representations

Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski. Equational Theories and Monads from Polynomial Cayley Representations. In Mikolaj Bojanczyk, Alex Simpson, editors, Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Volume 11425 of Lecture Notes in Computer Science, pages 453-469, Springer, 2019. [doi]

Authors

Maciej Piróg

This author has not been identified. Look up 'Maciej Piróg' in Google

Piotr Polesiuk

This author has not been identified. Look up 'Piotr Polesiuk' in Google

Filip Sieczkowski

This author has not been identified. Look up 'Filip Sieczkowski' in Google