Interpolation in Grothendieck Institutions (2003)
by
Razvan Diaconescu
| Venue: | THEORETICAL COMPUTER SCIENCE |
| Citations: | 21 - 3 self |
Document Versions
| Interpolation in Grothendieck Institutions –Razvan Diaconescu — 2003 — THEORETICAL COMPUTER SCIENCE |
| Grothendieck institutions –Răzvan Diaconescu — 2002 — Applied Categorical Structures |
| Grothendieck Institutions –Razvan Diaconescu — 2002 — Applied Categorical Structures |
