Inhabitation of Low-Rank Intersection Types

Paweł Urzyczyn

Type: Book-Chapter

Publication Date: 2009-01-01

Citations: 17

DOI: https://doi.org/10.1007/978-3-642-02273-9_26

View Publication

Locations

Lecture notes in computer science - View

Similar Works

Action	Title	Year	Authors
+	Rank 3 Inhabitation of Intersection Types Revisited (Extended Version)	2017	Andrej Dudenhefner Jakob Rehof
+	Rank 3 Inhabitation of Intersection Types Revisited (Extended Version).	2017	Andrej Dudenhefner Jakob Rehof
+	The Inhabitation Problem for Rank Two Intersection Types	2007	Dariusz Kuśmierek
+	Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types	2019	Sandra Alves Sabine Broda
+	The Inhabitation Problem for Rank Two Intersection Types	2007	Dariusz Kuśmierek
+	The emptiness problem for intersection types	2002	Paweł Urzyczyn
+	Strongly determined types	1999	А. А. Иванов Dugald Macpherson
+ PDF Chat	Bounding essential arities of term operations in finitely decidable varieties	2015	Matthew Smedberg
+	Omitting Types and a Two-Cardinal Theorem	1979	Kenneth A. Bowen
+	Enumeration calculi and rank methods	1978	Tomáš Havránek
+	Combinatorics of $λ$-terms: a natural approach	2016	Maciej Bendkowski Katarzyna Grygiel Pierre Lescanne Marek Zaionc
+	Forking types and rank functions in stable theories	1982	T. G. Mustafin T. A. Nurmagambetov
+	Type-Reduction	2017	Jerry M. Mendel
+	Computability of ordinal recursion of type level two	1981	William A. Howard
+	Well-behaved Epireflections for Kan Extensions	2008	João J. Xarez
+ PDF Chat	The star-height of regular expressions : technical note	1962	L. C. Eggan
+	The star-height of regular expressions : technical note	1962	L. C. Eggan
+	Type-(1,k) Reductions	2011
+	A Proof-Theoretic Bound Extraction Theorem for CAT $$(\kappa )$$ ( κ ) -Spaces	2017	Ulrich Kohlenbach Adrian Nicolae
+	Stability and omitting types	1991	Ehud Hrushovski Saharon Shelah

Works That Cite This (8)

Action	Title	Year	Authors
+ PDF Chat	Retractions in Intersection Types	2017	Mario Coppo Mariangiola Dezani-Ciancaglini Alejandro Díaz-Caro Ines Margaria Maddalena Zacchi
+	Intersection type calculi of bounded dimension	2016	Andrej Dudenhefner Jakob Rehof
+	Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types	2019	Sandra Alves Sabine Broda
+	The Complexity of Inhabitation with Explicit Intersection	2012	Jakob Rehof Paweł Urzyczyn
+ PDF Chat	On the Mints Hierarchy in First-Order Intuitionistic Logic	2017	Aleksy Schubert Paweł Urzyczyn Konrad Zdanowski
+	Tight Typings and Split Bounds	2018	Beniamino Accattoli Stéphane Graham-Lengrand Delia Kesner
+	Rank 3 Inhabitation of Intersection Types Revisited (Extended Version).	2017	Andrej Dudenhefner Jakob Rehof
+ PDF Chat	Tight typings and split bounds	2018	Beniamino Accattoli Stéphane Graham-Lengrand Delia Kesner

Works Cited by This (1)

Action	Title	Year	Authors
+	The Inhabitation Problem for Rank Two Intersection Types	2007	Dariusz Kuśmierek