Pages that link to "Item:Q1853619"
From MaRDI portal
The following pages link to Normalization, approximation, and semantics for combinator systems (Q1853619):
Displaying 7 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418) (← links)
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming (Q3007669) (← links)
- (Q4297174) (← links)
- Functional Type Assignment for Featherweight Java (Q5410450) (← links)
- Explicit Composition and Its Application in Proofs of Normalization (Q5864201) (← links)