Publicacions en col·laboració amb investigadors/es de Universidad Nacional de Córdoba (1)

2014

  1. Completeness in Hybrid Type Theory

    Journal of Philosophical Logic, Vol. 43, Núm. 2-3, pp. 209-238