Pages that link to "Item:Q787128"

The following pages link to Coppo-Dezani types do not correspond to propositional logic (Q787128):

Displaying 8 items.

• Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
• 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)
• Non-idempotent intersection types in logical form (Q2200821) (← links)
• Intersection-types à la Church (Q2381503) (← links)
• Intersection Typed λ-calculus (Q2842843) (← links)
• (Q5089030) (← links)