Finite Combinatory Logic with Intersection Types (Q3007665): Difference between revisions

@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Intersection types for combinatory logic
@@ Property / cites work: Intersection types for combinatory logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659755
@@ Property / cites work: Q3659755 / rank @@
+Normal rank
@@ Property / cites work @@
+A finite set of functions with an EXPTIME-complete composition problem
+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 @@
+Synthesis from Component Libraries
@@ Property / cites work: Synthesis from Component Libraries / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Combinatory Logic with Intersection Types
@@ Property / cites work: Finite Combinatory Logic with Intersection Types / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizability in the Simply Typed Lambda-Calculus
+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 @@
+Inhabitation of Low-Rank Intersection Types
@@ Property / cites work: Inhabitation of Low-Rank Intersection Types / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Persistent Intersection
@@ Property / cites work: The Logic of Persistent Intersection / 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 @@
+Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis
+Normal rank