Global State Considered Helpful (Q5415641): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.10.015
+Normal rank
@@ Property / OpenAlex ID @@
+W2097622502
@@ Property / OpenAlex ID: W2097622502 / rank @@
+Normal rank
@@ 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 @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Reasoning for Recursive Types and References
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+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 @@
+A Fully Abstract Trace Semantics for General References
+Normal rank
@@ Property / cites work @@
+Q4680357
@@ Property / cites work: Q4680357 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite trace equivalence
@@ Property / cites work: Infinite trace equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of the bad-variable constructor in Algol-like languages
+Normal rank
@@ Property / cites work @@
+Bad Variables Under Control
@@ Property / cites work: Bad Variables Under Control / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity and local variables
@@ Property / cites work: Parametricity and local variables / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in substructural categories
@@ Property / cites work: Coherence in substructural categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for nominal general references
@@ Property / cites work: Full abstraction for nominal general references / rank @@
+Normal rank