Interpolation in Grothendieck Institutions (2003)

by Razvan Diaconescu
Venue:THEORETICAL COMPUTER SCIENCE
Citations:24 - 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