Interpolation property for bicartesian closed categories, Archive for (1994)

by Dj Čubrić
Venue:Mathematical Logic