Pages that link to "Item:Q1357006"
From MaRDI portal
The following pages link to Normalization results for typeable rewrite systems (Q1357006):
Displaying 12 items.
- Uncurrying for termination and complexity (Q352959) (← links)
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- A metamodel of access control for distributed environments: applications and properties (Q462495) (← links)
- Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418) (← links)
- The heart of intersection type assignment: Normalisation proofs revisited (Q930869) (← links)
- Nominal essential intersection types (Q1643145) (← links)
- Normalization, approximation, and semantics for combinator systems (Q1853619) (← links)
- Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming (Q3007669) (← links)
- Principal Types for Nominal Theories (Q3088280) (← links)
- (Q5013873) (← links)
- Functional Type Assignment for Featherweight Java (Q5410450) (← links)
- A liberal type system for functional logic programs (Q5740645) (← links)
