scientific article; zbMATH DE number 1231510
From MaRDI portal
Publication:4222822
zbMath0909.68029MaRDI QIDQ4222822
Publication date: 13 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#abramsky
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (37)
The regular-language semantics of second-order idealized ALGOL ⋮ An approach to deciding the observational equivalence of Algol-like languages ⋮ Understanding Game Semantics Through Coherence Spaces ⋮ Modelling Local Variables: Possible Worlds and Object Spaces ⋮ A System-Level Game Semantics ⋮ The geometry of Bayesian programming ⋮ Game theoretic analysis of call-by-value computation ⋮ Imperative programs as proofs via game semantics ⋮ Latent semantic analysis of game models using LSTM ⋮ Totality in arena games ⋮ Block structure vs scope extrusion: between innocence and omniscience ⋮ Unnamed Item ⋮ Game-theoretic analysis of call-by-value computation ⋮ From Qualitative to Quantitative Semantics ⋮ A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus ⋮ Local variable scoping and Kleene algebra with tests ⋮ A Fragment of ML Decidable by Visibly Pushdown Automata ⋮ Constructing Differential Categories and Deconstructing Categories of Games ⋮ A game semantics of names and pointers ⋮ Regular-Language Semantics for a Call-by-Value Programming Language ⋮ A Game Semantics of Idealized CSP ⋮ Global State Considered Helpful ⋮ Decidability and syntactic control of interference ⋮ Unnamed Item ⋮ Capsules and Closures ⋮ Game semantics and linear CPS interpretation ⋮ Unnamed Item ⋮ Finitary PCF is not decidable ⋮ Compositional Predicate Abstraction from Game Semantics ⋮ An Algebraic Account of References in Game Semantics ⋮ Unnamed Item ⋮ Contextual Approximation and Higher-Order Procedures ⋮ A Categorical Semantics of Higher Order Store ⋮ Games and full abstraction for FPC. ⋮ On full abstraction for PCF: I, II and III ⋮ Objects and classes in Algol-like languages ⋮ Definability and Full Abstraction
This page was built for publication:
