Cita APA

Gunther, E., Gadea, A. E., & Pagano, M. M. (2018). Formalization of Universal Algebra in Agda. Web

Citación estilo Chicago

Gunther, Emmanuel, Alejandro Emilio Gadea, and Miguel Maria Pagano. Formalization of Universal Algebra in Agda. 2018.

Cita MLA

Gunther, Emmanuel, Alejandro Emilio Gadea, and Miguel Maria Pagano. Formalization of Universal Algebra in Agda. 2018.

Precaución: Estas citas no son 100% exactas.