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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-78969-7_15
+Normal rank
@@ Property / OpenAlex ID @@
+W4254946955
@@ Property / OpenAlex ID: W4254946955 / rank @@
+Normal rank
@@ 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