"Calculational HoTT."

Ernesto Acosta, Bernarda Aldana, Jaime Bohorquez (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics