Completeness in Hybrid Type Theory | Publicación