APA (7th ed.) Citation

Séttimo, A., Sottile, C., & Manzino, C. (2026). A formalization of System I with type Top in Agda.

Chicago Style (17th ed.) Citation

Séttimo, Agustín, Cristian Sottile, and Cecilia Manzino. A Formalization of System I with Type Top in Agda. 2026.

MLA (9th ed.) Citation

Séttimo, Agustín, et al. A Formalization of System I with Type Top in Agda. 2026.