On full abstraction for PCF: I, II and III (Q1854393): Difference between revisions

@@ Property / cites work @@
+Q4222822
@@ Property / cites work: Q4222822 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218919
@@ Property / cites work: Q4218919 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for idealized Algol with passive expressions
+Normal rank
@@ Property / cites work @@
+Abstract Böhm trees
@@ Property / cites work: Abstract Böhm trees / rank @@
+Normal rank
@@ Property / cites work @@
+Game theoretic analysis of call-by-value computation
+Normal rank
@@ Property / cites work @@
+Q4945241
@@ Property / cites work: Q4945241 / rank @@
+Normal rank
@@ Property / cites work @@
+Innocent game models of untyped \(\lambda\)-calculus
+Normal rank