Interpolation in Grothendieck institutions. (2004)

by R Diaconescu
Venue:Theoretical Computer Science,