Degrees of sensible lambda theories (Q4194931): Difference between revisions

@@ Property / author @@
+H. P. Barendregt
@@ Property / author: H. P. Barendregt / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2271947
@@ Property / full work available at URL: https://doi.org/10.2307/2271947 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2109869960
@@ Property / OpenAlex ID: W2109869960 / rank @@
+Normal rank
@@ Property / cites work @@
+The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty  $-Models of the Lambda-Calculus
+Normal rank
@@ Property / cites work @@
+The Permutative λ-Calculus
@@ Property / cites work: The Permutative λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank