scientific article; zbMATH DE number 2079017

MaRDI QIDQ4474829zbMATH OpenFDO

Authors Adriana Compagnoni

Publication date 21 July 2004

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)

Recommendations

• Higher-order subtyping and its decidability
• Higher-order subtyping
• Syntactic Metatheory of Higher-Order Subtyping
• scientific article; zbMATH DE number 954811
• A decidable subtyping logic for intersection and union types

Cited in

(16)

• scientific article; zbMATH DE number 954811 (Why is no real title available?)
• Type destructors
• On the decidability of subtyping with bounded existential types and implementation constraints
• The subtyping problem for second-order types is undecidable.
• Comparing object encodings.
• scientific article; zbMATH DE number 2185668 (Why is no real title available?)
• Higher-order subtyping and its decidability
• Subtyping dependent types
• Syntactically restricting bounded polymorphism for decidable subtyping
• Order-sorted inductive types
• Higher-order subtyping
• Typed operational semantics for higher-order subtyping.
• Syntactic Metatheory of Higher-Order Subtyping
• Decidability in Intuitionistic Type Theory is Functionally Decidable
• A decidable subtyping logic for intersection and union types
• Anti-symmetry of higher-order subtyping and equality by subtyping

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