Kripke-Joyal forcing for type theory and uniform fibrations
scientific article; zbMATH DE number 7896247
scientific article