Areces, C. E., Blackburn, P., Huertas, A., & Manzano, M. (2014). Completeness in Hybrid Type Theory. Web
Citación estilo ChicagoAreces, Carlos Eduardo, Patrick Blackburn, Antonia Huertas, and Maria Manzano. Completeness in Hybrid Type Theory. 2014.
Cita MLAAreces, Carlos Eduardo, Patrick Blackburn, Antonia Huertas, and Maria Manzano. Completeness in Hybrid Type Theory. 2014.
Precaución: Estas citas no son 100% exactas.