Fully abstract models of typed $\lambda$-calculi (Q1249567): Difference between revisions

@@ Property / cites work @@
+Q4101793
@@ Property / cites work: Q4101793 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic colloquium '73. Proceedings of the logic colloquium, Bristol, July 1973
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4072829
@@ Property / cites work: Q4072829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinators, \(\lambda\)-terms and proof theory
@@ Property / cites work: Combinators, \(\lambda\)-terms and proof theory / 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

Fully abstract models of typed \(\lambda\)-calculi (Q1249567): Difference between revisions