Bernays-Gödel type theory
type-theoretical analogue of Bernays-Gödel set-theory
scientific article; zbMATH DE number 1878466