Coppo-Dezani types do not correspond to propositional logic

DOI10.1016/0304-3975(83)90074-9MaRDI QIDQ787128zbMATH OpenOpenAlexFDO

Authors J. Roger Hindley

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

zbMATH Keywords

semanticstype theorylambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites work

• A filter lambda model and the completeness of type assignment
• A new type assignment for λ-terms

Cited in

(9)

• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
• The ``relevance of intersection and union types
• Non-idempotent intersection types in logical form
• Intersection-types à la Church
• Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)
• Intersection and union types
• A binary modal logic for the intersection types of lambda-calculus.
• Intersection typed \(\lambda \)-calculus
• scientific article; zbMATH DE number 7559294 (Why is no real title available?)

This page was built for publication: Coppo-Dezani types do not correspond to propositional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q787128)