scientific article; zbMATH DE number 1114034

zbMATH Open0886.03011MaRDI QIDQ4375803FDOQ4375803

Authors: Jerzy Tiuryn 

Publication date: 8 February 1998

Title of this publication is not available (Why is that?)

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

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)

Cited In (12)

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