Categoricity results for second-order ZF in dependent type theory
scientific article; zbMATH DE number 6821859
scientific article