Pre-grammars and inhabitation for a subset of rank 2 intersection types

DOI10.1016/J.ENTCS.2019.07.003MaRDI QIDQ2333664zbMATH OpenOpenAlexWikidataFDO

Authors Sandra Alves, Sabine Broda

Publication date 13 November 2019

Full work available at URL https://doi.org/10.1016/j.entcs.2019.07.003

zbMATH Keywords

inhabitationintersection typespre-grammars

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Grammars and rewriting systems (68Q42)

Recommendations

• Inhabitation of Low-Rank Intersection Types
• The Inhabitation Problem for Rank Two Intersection Types
• Inhabitation for non-idempotent intersection types
• Inhabitation in Intersection and Union Type Assignment Systems
• The Inhabitation Problem for Non-idempotent Intersection Types

Cites work

• A unifying framework for type inhabitation
• An extension of basic functionality theory for -calculus
• Automata theoretic account of proof search
• Complete restrictions of the intersection type discipline
• Compositional characterisations of \(\lambda\)-terms using intersection types
• Disjoint polymorphism
• scientific article; zbMATH DE number 1042221 (Why is no real title available?)
• scientific article; zbMATH DE number 883895 (Why is no real title available?)
• Inhabitation of Low-Rank Intersection Types
• Intersection type calculi of bounded dimension
• Intuitionistic propositional logic is polynomial-space complete
• Normal proofs and their grammar
• On Long Normal Inhabitants of a Type
• Proof finding algorithms for implicational logics
• The emptiness problem for intersection types
• The Inhabitation Problem for Non-idempotent Intersection Types
• The Inhabitation Problem for Rank Two Intersection Types
• Typability in bounded dimension

Cited in

(4)

• scientific article; zbMATH DE number 1512611 (Why is no real title available?)
• A unifying framework for type inhabitation
• Type Inference for Rank 2 Gradual Intersection Types
• Pregrammars and intersection types

This page was built for publication: Pre-grammars and inhabitation for a subset of rank 2 intersection types

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