A General Class of Models of $\mathcal{H}^*$ (Q3182956): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-03816-7_49
+Normal rank
@@ Property / OpenAlex ID @@
+W2106049833
@@ Property / OpenAlex ID: W2106049833 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4160405
@@ Property / cites work: Q4160405 / rank @@
+Normal rank
@@ Property / cites work @@
+On phase semantics and denotational semantics: The exponentials
+Normal rank
@@ Property / cites work @@
+Not Enough Points Is Enough
@@ Property / cites work: Not Enough Points Is Enough / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263866
@@ Property / cites work: Q4263866 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal functors, power series and \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Q2863881
@@ Property / cites work: Q2863881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945241
@@ Property / cites work: Q4945241 / 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