Completeness in Hybrid Type Theory
- Areces, C.
- Blackburn, P.
- Huertas, A.
- Manzano, M.
ISSN: 1573-0433, 0022-3611
Année de publication: 2014
Volumen: 43
Número: 2-3
Pages: 209-238
Type: Article
ISSN: 1573-0433, 0022-3611
Année de publication: 2014
Volumen: 43
Número: 2-3
Pages: 209-238
Type: Article