Completeness in Hybrid Type Theory
- Areces, C.
- Blackburn, P.
- Huertas, A.
- Manzano, M.
ISSN: 1573-0433, 0022-3611
Year of publication: 2014
Volume: 43
Issue: 2-3
Pages: 209-238
Type: Article
ISSN: 1573-0433, 0022-3611
Year of publication: 2014
Volume: 43
Issue: 2-3
Pages: 209-238
Type: Article