Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033): Difference between revisions

@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction in the lazy lambda calculus
@@ Property / cites work: Full abstraction in the lazy lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete restrictions of the intersection type discipline
+Normal rank
@@ 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 @@
+Q3221960
@@ Property / cites work: Q3221960 / rank @@
+Normal rank
@@ Property / cites work @@
+From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Type theories, normal forms, and \(D_{\infty}\)-lambda-models
+Normal rank
@@ Property / cites work @@
+Q3221961
@@ Property / cites work: Q3221961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435466
@@ Property / cites work: Q4435466 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete characterization of complete intersection-type preorders
+Normal rank
@@ Property / cites work @@
+Q4536366
@@ Property / cites work: Q4536366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4018065
@@ Property / cites work: Q4018065 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalization and typability with intersection types
+Normal rank
@@ Property / cites work @@
+Semantical analysis of perpetual strategies in \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing and computational properties of lambda expressions
+Normal rank
@@ Property / cites work @@
+Set-theoretical and other elementary models of the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971
+Normal rank
@@ Property / cites work @@
+Q4880706
@@ Property / cites work: Q4880706 / rank @@
+Normal rank