The following pages link to (Q4880143):
Displaying 8 items.
- Intersection type assignment systems (Q1350344) (← links)
- Normalization results for typeable rewrite systems (Q1357006) (← links)
- Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems (Q1707978) (← links)
- Pre-grammars and inhabitation for a subset of rank 2 intersection types (Q2333664) (← links)
- (Q2766797) (← links)
- (Q4508295) (← links)
- Approximation and normalization results for typeable term rewriting systems (Q4645802) (← links)
- Type Inference for Rank 2 Gradual Intersection Types (Q5098736) (← links)