Profinite Monads, Profinite Equations and Reitermann's Theorem - Chen, Liang-Ting; Adámek, Jiří; Milius, Stefan; Urbat, Henning; Urbat, Henning (Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, 2016)
UnivIS-Import:2017-03-24:Pub.2016.tech.IMMD.profes_1.profin
Keywords: monads; algebra; pseudo-varieties; profinite equations