Completeness in hybrid type theory
scientific article; zbMATH DE number 6381498
scientific article