scientific article; zbMATH DE number 814795

MaRDI QIDQ4855340zbMATH OpenFDO

Authors Pierre-Louis Curien, G. Ghelli

Publication date 9 November 1995

zbMATH Keywords

subsumptionsubtyping relationtyping rule

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 125886
• Coherence and Transitivity in Coercive Subtyping
• Coherence of subsumption, minimum typing and type-checking in F ≤
• Subtyping + extensionality: confluence of \(\beta \eta\)top reduction in \(\mathrm{F}_\leq\)
• Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\)

Cited in

(5)

• Coherence of subsumption for monadic types
• Coherence of subsumption, minimum typing and type-checking in F ≤
• Coherence and transitivity of subtyping as entailment
• The coherence of languages with intersection types
• Subtyping + extensionality: confluence of \(\beta \eta\)top reduction in \(\mathrm{F}_\leq\)

This page was built for publication:

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