scientific article; zbMATH DE number 1342245
From MaRDI portal
Publication:4263830
zbMath0961.68080MaRDI QIDQ4263830
Publication date: 28 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)
Related Items (34)
Contracts as games on event structures ⋮ A Semantical Approach to Equilibria and Rationality ⋮ Comparing hierarchies of types in models of linear logic ⋮ Morphisms of open games ⋮ Geometry of Synthesis II: From Games to Delay-Insensitive Circuits ⋮ A Graphical Foundation for Schedules ⋮ A game semantics for disjunctive logic programming ⋮ Game theoretical semantics for some non-classical logics ⋮ Programming language semantics: It’s easy as 1,2,3 ⋮ Latent semantic analysis of game models using LSTM ⋮ Interpreting Localized Computational Effects Using Operators of Higher Type ⋮ Game semantics of Martin-Löf type theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A graphical foundation for interleaving in game semantics ⋮ Leafy automata for higher-order concurrency ⋮ Logic and Geometry of Agents in Agent-Based Modeling ⋮ Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus ⋮ An infinite-game semantics for well-founded negation in logic programming ⋮ Regular-Language Semantics for a Call-by-Value Programming Language ⋮ Preface to the special volume ⋮ Decidability and syntactic control of interference ⋮ Functions with local state: regularity and undecidability ⋮ Asynchronous games. II: The true concurrency of innocence ⋮ Dialogue games for many-valued logics -- an overview ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Contextual Approximation and Higher-Order Procedures ⋮ Thick Subtrees, Games and Experiments ⋮ Dynamic game semantics ⋮ Games for complexity of second-order call-by-name programs ⋮ Sequential algorithms and strongly stable functions ⋮ Full abstraction for PCF ⋮ Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
This page was built for publication:
