Interpolation in Grothendieck Institutions (2003)

by Razvan Diaconescu
Venue:THEORETICAL COMPUTER SCIENCE