Inhabitation of Low-Rank Intersection Types

DOI10.1007/978-3-642-02273-9_26zbMath1246.03034OpenAlexW1596346405MaRDI QIDQ3637206

Paweł Urzyczyn

Publication date: 7 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02273-9_26

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (4)

Tight typings and split bounds, fully developed ⋮ Finite Combinatory Logic with Intersection Types ⋮ On the Mints Hierarchy in First-Order Intuitionistic Logic ⋮ Pre-grammars and inhabitation for a subset of rank 2 intersection types

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lectures on the Curry-Howard isomorphism
• The completeness of provable realizability
• An extension of basic functionality theory for \(\lambda\)-calculus
• The ``relevance of intersection and union types
• Principality and type inference for intersection types using expansion variables
• Embedding a second-order type system into an intersection type system
• Intersection types and lambda models
• Intersection-types à la Church
• Theory of computation.
• The Inhabitation Problem for Rank Two Intersection Types
• Intersection Types as Logical Formulae
• The emptiness problem for intersection types
• Types, potency, and idempotency

This page was built for publication: Inhabitation of Low-Rank Intersection Types