Completeness in hybrid type theory

Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.

Bibliographic Details
Main Authors: Areces, Carlos Eduardo, Blackburn, Patrick, Huertas, Antonia, Manzano, María
Format:
Language:eng
Published: 2021
Subjects:
Online Access:http://hdl.handle.net/11086/20021
https://doi.org/10.1007/s10992-012-9260-4