The following pages link to (Q4281463):
Displaying 9 items.
- Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
- Intersection type assignment systems with higher-order algebraic rewriting (Q672048) (← links)
- On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
- Normalization results for typeable rewrite systems (Q1357006) (← links)
- Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
- (Q2766797) (← links)
- Approximation and normalization results for typeable term rewriting systems (Q4645802) (← links)
- (Head-)normalization of typeable rewrite systems (Q5055837) (← links)
- Strictness, totality, and non-standard-type inference (Q5958293) (← links)
