scientific article; zbMATH DE number 1114034

MaRDI QIDQ4375803zbMATH OpenFDO

Authors Jerzy Tiuryn

Publication date 8 February 1998

zbMATH Keywords

coherencecut eliminationdecidabilitynatural deductionsemanticssequent calculussubject reductionsubtyping polymorphic typestype reconstruction

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A sequent calculus for subtyping polymorphic types
• scientific article; zbMATH DE number 1799515
• scientific article; zbMATH DE number 1361477
• Coherence and transitivity of subtyping as entailment
• Logic of subtyping

Cited in

(13)

• Polymorphic lambda calculus and subtyping.
• Subtyping recursion and parametric polymorphism in kernel Fun
• A sequent calculus for subtyping polymorphic types
• Logic of subtyping
• Structural subtyping for inductive types with functorial equality rules
• scientific article; zbMATH DE number 1222570 (Why is no real title available?)
• Coherence and transitivity of subtyping as entailment
• A calculus with polymorphic and polyvariant flow types
• A delegation-based object calculus with subtyping
• Type-base flow analysis
• Pragmatic subtyping in polymorphic languages
• Programming Languages and Systems
• Typed homomorphic relations extended with subtypes

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 Q4375803)