Locally Boolean domains (Q2566030): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2005.06.007
+Normal rank
@@ Property / OpenAlex ID @@
+W1982535387
@@ Property / OpenAlex ID: W1982535387 / 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