Locally Boolean domains (Q2566030): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2005.06.007
@@ Property / DOI: 10.1016/j.tcs.2005.06.007 / rank @@
-Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218919
@@ Property / cites work: Q4218919 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential algorithms on concrete data structures
@@ Property / cites work: Sequential algorithms on concrete data structures / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract semantics for observably sequential languages
+Normal rank
@@ Property / cites work @@
+A Categorical Semantics of Higher Order Store
@@ Property / cites work: A Categorical Semantics of Higher Order Store / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized games
@@ Property / cites work: Polarized games / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2005.06.007
@@ Property / DOI: 10.1016/J.TCS.2005.06.007 / rank @@
+Normal rank