Pages that link to "Item:Q930871"
From MaRDI portal
The following pages link to Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871):
Displaying 6 items.
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- A Filter Model for the λμ-Calculus (Q3007668) (← links)
- Intersection Types for the Resource Control Lambda Calculi (Q3105748) (← links)
- Characterising Strongly Normalising Intuitionistic Sequent Terms (Q3499751) (← links)
- (Q5111320) (← links)
- (Q5208874) (← links)
