Interpolation in Grothendieck Institutions

Razvan Diaconescu. Interpolation in Grothendieck Institutions. Theoretical Computer Science, 311(1-3):439-461, 2004. [doi]

Abstract

Abstract is missing.