Coppo-Dezani types do not correspond to propositional logic
From MaRDI portal
Publication:787128
DOI10.1016/0304-3975(83)90074-9zbMath0529.03003OpenAlexW2028965656MaRDI QIDQ787128
Publication date: 1984
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(83)90074-9
Related Items
Intersection-types à la Church, The ``relevance of intersection and union types, Intersection and union types, Non-idempotent intersection types in logical form, Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\), A binary modal logic for the intersection types of lambda-calculus., Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage, Unnamed Item, Intersection Typed λ-calculus
Cites Work
