Types for Hereditary Head Normalizing Terms (Q5458437): Difference between revisions

@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Infinite \(\lambda\)-calculus and types
@@ Property / cites work: Infinite \(\lambda\)-calculus and types / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional characterisations of \(\lambda\)-terms using intersection types
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary lambda calculus
@@ Property / cites work: Infinitary lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024910
@@ Property / cites work: Q3024910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank