The following pages link to Grothendieck inclusion systems (Q657588):
Displaying 6 items.
- Functorial semantics of first-order views (Q344796) (← links)
- Grothendieck institutions (Q698051) (← links)
- Comorphisms of structured institutions (Q2445331) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)
- Partialising institutions (Q6185812) (← links)