Profinite Monads, Profinite Equations, and Reiterman's Theorem.

Liang-Ting Chen, Jir Admek, Stefan Milius, Henning Urbat

Browse the full FOSSACS paper archive.