Interpolation property for bicartesian closed categories

Djordje Cubric. Interpolation property for bicartesian closed categories. Arch. Math. Log., 33(4):291-319, 1994. [doi]

Abstract

Abstract is missing.