A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus (Q2200839): 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.1007/978-3-030-45231-5_22
+Normal rank
@@ Property / OpenAlex ID @@
+W3016315428
@@ Property / OpenAlex ID: W3016315428 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778815
@@ Property / cites work: Q2778815 / rank @@
+Normal rank
@@ Property / cites work @@
+Genericity and the \(\pi\)-calculus
@@ Property / cites work: Genericity and the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Process Types as a Descriptive Tool for Interaction
+Normal rank
@@ Property / cites work @@
+A System-Level Game Semantics
@@ Property / cites work: A System-Level Game Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+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 generic type system for the pi-calculus
@@ Property / cites work: A generic type system for the pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The single-conclusion proof logic and inference rules specification
+Normal rank
@@ Property / cites work @@
+A Fully Abstract Trace Semantics for General References
+Normal rank
@@ Property / cites work @@
+Game Semantics for Call-by-Value Polymorphism
@@ Property / cites work: Game Semantics for Call-by-Value Polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5395726
@@ Property / cites work: Q5395726 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Normal Form Bisimulation
@@ Property / cites work: Typed Normal Form Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Curry-style type isomorphisms and game semantics
@@ Property / cites work: Curry-style type isomorphisms and game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Transition systems over games
@@ Property / cites work: Transition systems over games / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5357704
@@ Property / cites work: Q5357704 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+The lazy lambda calculus in a concurrency scenario
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Trace semantics for polymorphic references
@@ Property / cites work: Trace semantics for polymorphic references / rank @@
+Normal rank