Pages that link to "Item:Q4895548"
From MaRDI portal
The following pages link to Inclusions and subtypes II: higher-order case (Q4895548):
Displaying 5 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- An abstract formalization of correct schemas for program synthesis (Q1583858) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Type system \(\lambda\omega\times_\leqq\) (Q2750979) (← links)
- Inclusions and subtypes I: first-order case (Q4885625) (← links)