Pages that link to "Item:Q672048"
From MaRDI portal
The following pages link to Intersection type assignment systems with higher-order algebraic rewriting (Q672048):
Displaying 8 items.
- A metamodel of access control for distributed environments: applications and properties (Q462495) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- Nominal rewriting (Q2373703) (← links)
- (Q2766797) (← links)
- Principal Types for Nominal Theories (Q3088280) (← links)
- (Q4281465) (← links)
- Inhabitation in Intersection and Union Type Assignment Systems (Q4286212) (← links)
- On modular properties of higher order extensional lambda calculi (Q4571956) (← links)