Full intersection types and topologies in lambda calculus (Q5943119): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+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 @@
+Strong normalization and typability with intersection types
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Principal type schemes for an extended type theory
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank