Pages that link to "Item:Q3358239"
From MaRDI portal
The following pages link to COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS (Q3358239):
Displaying 8 items.
- Intersection type assignment systems with higher-order algebraic rewriting (Q672048) (← links)
- Confluence of the lambda calculus with left-linear algebraic rewriting (Q1197987) (← links)
- Variants of the basic calculus of constructions (Q1885480) (← links)
- On modular properties of higher order extensional lambda calculi (Q4571956) (← links)
- Modularity of termination and confluence in combinations of rewrite systems with λω (Q4630300) (← links)
- More problems in rewriting (Q5055812) (← links)
- Problems in rewriting III (Q5055847) (← links)
- On the power of simple diagrams (Q5055861) (← links)
