Definability and Full Abstraction (Q2864154): 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.entcs.2007.02.011
+Normal rank
@@ Property / OpenAlex ID @@
+W4301945969
@@ Property / OpenAlex ID: W4301945969 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56092887
@@ Property / Wikidata QID: Q56092887 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222822
@@ Property / cites work: Q4222822 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160405
@@ Property / cites work: Q4160405 / 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 @@
+Q3756499
@@ Property / cites work: Q3756499 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequentiality in an extensional framework
@@ Property / cites work: Sequentiality in an extensional framework / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract semantics for observably sequential languages
+Normal rank
@@ Property / cites work @@
+Q3149661
@@ Property / cites work: Q3149661 / rank @@
+Normal rank
@@ Property / cites work @@
+A new type assignment for λ-terms
@@ Property / cites work: A new type assignment for λ-terms / rank @@
+Normal rank
@@ Property / cites work @@
+The categorical abstract machine
@@ Property / cites work: The categorical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287527
@@ Property / cites work: Q5287527 / rank @@
+Normal rank
@@ Property / cites work @@
+On the symmetry of sequentiality
@@ Property / cites work: On the symmetry of sequentiality / rank @@
+Normal rank
@@ Property / cites work @@
+On infinite \(\eta\)-expansion
@@ Property / cites work: On infinite \(\eta\)-expansion / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic game semantics
@@ Property / cites work: Probabilistic game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+The regular-language semantics of second-order idealized ALGOL
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On denotational completeness
@@ Property / cites work: On denotational completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Game-theoretic analysis of call-by-value computation
+Normal rank
@@ Property / cites work @@
+A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
+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 @@
+Concrete domains
@@ Property / cites work: Concrete domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457459
@@ Property / cites work: Q4457459 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential algorithms for unbounded nondeterminism
+Normal rank
@@ Property / cites work @@
+Unary PCF is decidable
@@ Property / cites work: Unary PCF is decidable / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary PCF is not decidable
@@ Property / cites work: Finitary PCF is not decidable / rank @@
+Normal rank
@@ Property / cites work @@
+The sequentially realizable functionals
@@ Property / cites work: The sequentially realizable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Payoffs, Intensionality and Abstraction in Games
@@ Property / cites work: Payoffs, Intensionality and Abstraction in Games / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q4501156
@@ Property / cites work: Q4501156 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke logical relations and PCF
@@ Property / cites work: Kripke logical relations and PCF / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank
@@ Property / cites work @@
+Q3138547
@@ Property / cites work: Q3138547 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing logical relations
@@ Property / cites work: Mechanizing logical relations / rank @@
+Normal rank
@@ Property / cites work @@
+The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty  $-Models of the Lambda-Calculus
+Normal rank
@@ Property / DBLP publication ID @@
+journals/entcs/Curien07
@@ Property / DBLP publication ID: journals/entcs/Curien07 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2864154