Interpolation in Grothendieck Institutions (2003)

by Razvan Diaconescu
Venue:THEORETICAL COMPUTER SCIENCE
Citations:24 - 3 self