APA (7th ed.) Citation

(2011). Teoría de categorías aplicada a la programación funcional con Agda.

Chicago Style (17th ed.) Citation

Teoría De Categorías Aplicada a La Programación Funcional Con Agda. 2011.

MLA (8th ed.) Citation

Teoría De Categorías Aplicada a La Programación Funcional Con Agda. 2011.

Warning: These citations may not always be 100% accurate.