The following pages link to On the equivalence of types (Q517754):
Displaying 6 items.
- Computing ML equality kinds using abstract interpretation (Q1317430) (← links)
- Triangular bases of integral closures (Q1690787) (← links)
- Undecidability of equality for codata types (Q1798783) (← links)
- Defectless polynomials over Henselian fields and inductive valuations (Q2330314) (← links)
- Types et contragrédientes (Q2933706) (← links)
- On equivalence and canonical forms in the LF type theory (Q5277716) (← links)