"Countable Lawvere Theories and Computational Effects."

John Power (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics