Full Abstraction for Reduced ML (Q3617719): Difference between revisions

@@ 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.1007/978-3-642-00596-1_4
+Normal rank
@@ Property / OpenAlex ID @@
+W1861428078
@@ Property / OpenAlex ID: W1861428078 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+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 @@
+A game semantics of names and pointers
@@ Property / cites work: A game semantics of names and pointers / 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 @@
+Q4501156
@@ Property / cites work: Q4501156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Nominal Game Semantics
@@ Property / cites work: Algorithmic Nominal Game Semantics / rank @@
+Normal rank