scientific article; zbMATH DE number 1259144
From MaRDI portal
Publication:4231031
zbMath0917.68192MaRDI QIDQ4231031
Publication date: 9 March 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Applications of game theory (91A80) Pattern recognition, speech recognition (68T10)
Related Items (26)
Adapting innocent game models for the Böhm tree \(\lambda\)-theory ⋮ The regular-language semantics of second-order idealized ALGOL ⋮ Polarized games ⋮ Computational adequacy for recursive types in models of intuitionistic set theory ⋮ Unnamed Item ⋮ Game semantics of Martin-Löf type theory ⋮ Resource modalities in tensor logic ⋮ Game-theoretic analysis of call-by-value computation ⋮ Unnamed Item ⋮ Constructing Differential Categories and Deconstructing Categories of Games ⋮ A game semantics of names and pointers ⋮ Infinite trace equivalence ⋮ Regular-Language Semantics for a Call-by-Value Programming Language ⋮ A Game Semantics of Idealized CSP ⋮ Decidability and syntactic control of interference ⋮ Unnamed Item ⋮ Game semantics and linear CPS interpretation ⋮ Asynchronous games. II: The true concurrency of innocence ⋮ Game Semantics for Access Control ⋮ Game Semantics for Bounded Polymorphism ⋮ Dynamic game semantics ⋮ A game-semantic model of computation ⋮ Unnamed Item ⋮ A Categorical Semantics of Higher Order Store ⋮ Sequential algorithms and strongly stable functions ⋮ Games and full abstraction for FPC.
Uses Software
This page was built for publication:
