Amb Breaks Well-Pointedness, Ground Amb Doesn't (Q5262940): Difference between revisions

@@ Property / cites work @@
+On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Bisimilarity as a theory of functional programming
+Normal rank
@@ Property / cites work @@
+Thunks and the λ-calculus
@@ Property / cites work: Thunks and the λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+Q2704324
@@ Property / cites work: Q2704324 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852363
@@ Property / cites work: Q2852363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941902
@@ Property / cites work: Q4941902 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-push-value: Decomposing call-by-value and call-by-name
+Normal rank
@@ Property / cites work @@
+Q2863895
@@ Property / cites work: Q2863895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852364
@@ Property / cites work: Q2852364 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5659061
@@ Property / cites work: Q5659061 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704331
@@ Property / cites work: Q2704331 / rank @@
+Normal rank