Full abstraction for Reduced ML (Q388212): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N18
@@ Property / Mathematics Subject Classification ID: 68N18 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6239426
@@ Property / zbMATH DE Number: 6239426 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Reduced ML
@@ Property / zbMATH Keywords: Reduced ML / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+contextual equivalence
@@ Property / zbMATH Keywords: contextual equivalence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+full abstraction
@@ Property / zbMATH Keywords: full abstraction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+game semantics
@@ Property / zbMATH Keywords: game semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ML-like references
@@ Property / zbMATH Keywords: ML-like references / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nominal techniques
@@ Property / zbMATH Keywords: nominal techniques / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ 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.apal.2013.05.007
+Normal rank
@@ Property / OpenAlex ID @@
+W4205893583
@@ Property / OpenAlex ID: W4205893583 / 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 @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Game-theoretic analysis of call-by-value computation
+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 @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Game Semantics for Higher-Order Concurrency
@@ Property / cites work: Game Semantics for Higher-Order Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+A game semantics of names and pointers
@@ Property / cites work: A game semantics of names and pointers / rank @@
+Normal rank
@@ Property / cites work @@
+Global State Considered Helpful
@@ Property / cites work: Global State Considered Helpful / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full abstraction for FPC.
@@ Property / cites work: Games and full abstraction for FPC. / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of the bad-variable constructor in Algol-like languages
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Functions with local state: regularity and undecidability
+Normal rank
@@ Property / cites work @@
+Bad Variables Under Control
@@ Property / cites work: Bad Variables Under Control / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction for Reduced ML
@@ Property / cites work: Full Abstraction for Reduced ML / rank @@
+Normal rank
@@ Property / cites work @@
+Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
+Normal rank
@@ Property / cites work @@
+Algorithmic Nominal Game Semantics
@@ Property / cites work: Algorithmic Nominal Game Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Games for Full Ground References
@@ Property / cites work: Algorithmic Games for Full Ground References / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501156
@@ Property / cites work: Q4501156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for nominal general references
@@ Property / cites work: Full abstraction for nominal general references / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:388212