Formalization of Universal Algebra in Agda

Emmanuel Gunther, Alejandro Gadea, Miguel Pagano. Formalization of Universal Algebra in Agda. Electronic Notes in Theoretical Computer Science, 338:147-166, 2018. [doi]

@article{GuntherGP18,
  title = {Formalization of Universal Algebra in Agda},
  author = {Emmanuel Gunther and Alejandro Gadea and Miguel Pagano},
  year = {2018},
  doi = {10.1016/j.entcs.2018.10.010},
  url = {https://doi.org/10.1016/j.entcs.2018.10.010},
  researchr = {https://researchr.org/publication/GuntherGP18},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {338},
  pages = {147-166},
}