The seven virtues of simple type theory
scientific article; zbMATH DE number 5346254
scientific article