Interpolation property for bicartesian closed categories
scientific article; zbMATH DE number 682653
scientific article