Pages that link to "Item:Q2800972"
From MaRDI portal
The following pages link to Order-invariant types and their applications (Q2800972):
Displaying 7 items.
- More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\) (Q947266) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- A remark on order-types. (Q3229490) (← links)
- Improving Static Variable Orders Via Invariants (Q3612927) (← links)
- Invariant inequalities in programs interpreted over an ordered field (Q3777432) (← links)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- Numbering matters (Q5178033) (← links)