"Formalization of Universal Algebra in Agda."

Emmanuel Gunther, Alejandro Gadea, Miguel Pagano (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics