The following pages link to Category-based constraint logic (Q4500173):
Displaying 5 items.
- Structural induction in institutions (Q719243) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- Herbrand theorems in arbitrary institutions (Q2390213) (← links)
- Interpolation for predefined types (Q3225735) (← links)
