Coppo-Dezani types do not correspond to propositional logic

DOI10.1016/0304-3975(83)90074-9zbMATH Open0529.03003OpenAlexW2028965656MaRDI QIDQ787128FDOQ787128

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)

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

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)