Inhabitation of Low-Rank Intersection Types (Q3637206): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02273-9_26
+Normal rank
@@ Property / OpenAlex ID @@
+W1596346405
@@ Property / OpenAlex ID: W1596346405 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035227
@@ Property / cites work: Q4035227 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection types and lambda models
@@ Property / cites work: Intersection types and lambda models / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+The ``relevance'' of intersection and union types
@@ Property / cites work: The ``relevance'' of intersection and union types / rank @@
+Normal rank
@@ Property / cites work @@
+Principality and type inference for intersection types using expansion variables
+Normal rank
@@ Property / cites work @@
+Theory of computation.
@@ Property / cites work: Theory of computation. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024843
@@ Property / cites work: Q3024843 / rank @@
+Normal rank
@@ Property / cites work @@
+The Inhabitation Problem for Rank Two Intersection Types
+Normal rank
@@ Property / cites work @@
+Intersection-types à la Church
@@ Property / cites work: Intersection-types à la Church / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of provable realizability
@@ Property / cites work: The completeness of provable realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Types, potency, and idempotency
@@ Property / cites work: Types, potency, and idempotency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783322
@@ Property / cites work: Q4783322 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+The emptiness problem for intersection types
@@ Property / cites work: The emptiness problem for intersection types / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection Types as Logical Formulae
@@ Property / cites work: Intersection Types as Logical Formulae / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738350
@@ Property / cites work: Q4738350 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding a second-order type system into an intersection type system
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3637206