Philip S. Mulry
-
Lifting results for categories of algebras
Theoretical Computer Science
Boolean restriction categories and taut monads