scientific article; zbMATH DE number 1114034

MaRDI QIDQ4375803zbMATH OpenFDO

Authors Jerzy Tiuryn

Publication date 8 February 1998

zbMATH Keywords

coherencesemanticsdecidabilitynatural deductiontype reconstructioncut eliminationsequent calculussubject reductionsubtyping polymorphic types

Mathematics Subject Classification ID

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

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

(12)

• Typed homomorphic relations extended with subtypes
• Pragmatic subtyping in polymorphic languages
• A sequent calculus for subtyping polymorphic types
• Coherence and transitivity of subtyping as entailment
• Subtyping recursion and parametric polymorphism in kernel Fun
• Polymorphic lambda calculus and subtyping.
• Logic of subtyping
• A calculus with polymorphic and polyvariant flow types
• Structural subtyping for inductive types with functorial equality rules
• Type-base flow analysis
• A delegation-based object calculus with subtyping
• Programming Languages and Systems

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)