Razvan Diaconescu. Interpolation in Grothendieck Institutions. Theoretical Computer Science, 311(1-3):439-461, 2004. [doi]
@article{Diaconescu04:4, title = {Interpolation in Grothendieck Institutions}, author = {Razvan Diaconescu}, year = {2004}, doi = {10.1016/j.tcs.2003.10.030}, url = {http://dx.doi.org/10.1016/j.tcs.2003.10.030}, researchr = {https://researchr.org/publication/Diaconescu04%3A4}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {311}, number = {1-3}, pages = {439-461}, }