Simple subtypes of intersection types

DOI10.3233/FI-2019-1864MaRDI QIDQ5212043zbMATH OpenOpenAlexFDO

Authors Richard Statman

Publication date 24 January 2020

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2019-1864

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Type theory (03B38) Undecidability and degrees of sets of sentences (03D35) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Inhabitation of Low-Rank Intersection Types
• The Inhabitation Problem for Rank Two Intersection Types
• The Inhabitation Problem for Non-idempotent Intersection Types
• Inhabitation for non-idempotent intersection types
• The emptiness problem for intersection types

This page was built for publication: Simple subtypes of intersection types

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