The following pages link to (Q4163188):
Displaying 13 items.
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- A completeness result for a realisability semantics for an intersection type system (Q882122) (← links)
- On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models (Q1102936) (← links)
- Complete restrictions of the intersection type discipline (Q1193654) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
- Intersection types for explicit substitutions (Q1887145) (← links)
- Characterising Strongly Normalising Intuitionistic Sequent Terms (Q3499751) (← links)
- (Q3890661) (← links)
- (Q3910511) (← links)
- (Q5111316) (← links)
