TY  - RPRT
TI  - Universal Algebra in UniMath
AU  - Gianluca Amato
AU  - Marco Maggesi
AU  - Maurizio Parton
AU  - Cosimo Perini Brogi
PY  - 2020
DO  - 10.1017/s0960129524000367
UR  - https://arxiv.org/abs/2007.04840
ID  - 2007.04840
ER  -