Antonino Salibra Giuseppe Scollo Interpolation and Compactness in Categories of Pre-Institutions. 261-286 1996 6 Mathematical Structures in Computer Science 3 db/journals/mscs/mscs6.html#SalibraS96