Areces, C. E., Blackburn, P., Huertas, A., & Manzano, M. (2021). Completeness in hybrid type theory.
Cita Chicago Style (17a ed.)Areces, Carlos Eduardo, Patrick Blackburn, Antonia Huertas, y María Manzano. Completeness in Hybrid Type Theory. 2021.
Cita MLA (8a ed.)Areces, Carlos Eduardo, et al. Completeness in Hybrid Type Theory. 2021.
Precaución: Estas citas no son 100% exactas.