The following pages link to (Q4281465):
Displaying 11 items.
- Intersection type assignment systems with higher-order algebraic rewriting (Q672048) (← links)
- Normalization results for typeable rewrite systems (Q1357006) (← links)
- Abstract data type systems (Q1391729) (← links)
- Variants of the basic calculus of constructions (Q1885480) (← links)
- Pushing the frontiers of combining rewrite systems farther outwards (Q2782485) (← links)
- Modularity of termination and confluence in combinations of rewrite systems with λω (Q4630300) (← links)
- Modular properties of algebraic type systems (Q4645803) (← links)
- More problems in rewriting (Q5055812) (← links)
- (Head-)normalization of typeable rewrite systems (Q5055837) (← links)
- Problems in rewriting III (Q5055847) (← links)
- Inductive-data-type systems (Q5958292) (← links)