Pages that link to "Item:Q787128"
From MaRDI portal
The following pages link to Coppo-Dezani types do not correspond to propositional logic (Q787128):
Displayed 4 items.
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- The ``relevance'' of intersection and union types (Q1381437) (← links)
- A binary modal logic for the intersection types of lambda-calculus. (Q1427854) (← links)
- Intersection-types à la Church (Q2381503) (← links)