Completeness in Hybrid Type Theory
- Areces, C.
- Blackburn, P.
- Huertas, A.
- Manzano, M.
ISSN: 1573-0433, 0022-3611
Any de publicació: 2014
Volum: 43
Número: 2-3
Pàgines: 209-238
Tipus: Article
ISSN: 1573-0433, 0022-3611
Any de publicació: 2014
Volum: 43
Número: 2-3
Pàgines: 209-238
Tipus: Article