ESTUDIOS SOBRE CIENCIA Y TECNOLOGÍA
![Foto de ESTUDIOS SOBRE CIENCIA Y TECNOLOGÍA](/img/grupo.png)
![Foto de Universidad Nacional de Córdoba](/img/noimage_org.png)
Universidad Nacional de Córdoba
Córdoba, ArgentinaPublicaciones en colaboración con investigadores/as de Universidad Nacional de Córdoba (1)
2014
-
Completeness in Hybrid Type Theory
Journal of Philosophical Logic, Vol. 43, Núm. 2-3, pp. 209-238