Search alternatives:
"game semantics" » "game semantic"
Cover Image
Read Now

1
by Heinzmann, Gerhard
Published 2021
Springer Nature
Subjects: “...Game Semantics for Substructural Logics...”
Cover Image
Read Now

2
Published 2023
Springer International Publishing
Table of Contents: “...Chapter 8. An axiomatic account of a fully abstract game semantics for general references (Jim...”
Cover Image
Read Now

3
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Game Semantics -- Notes on the Simply Typed Lambda Calculus -- Problems in Type Theory -- Formal...”
Cover Image
Read Now

4
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Invited Paper -- A Game Semantics for Generic Polymorphism -- Contributed Papers -- Categories...”
Cover Image
Read Now

5
by McCusker, Guy
Published 1998
Springer London
Table of Contents: “...Introduction -- Full Abstraction -- Game Semantics -- Historical Perspective -- Contribution...”
Cover Image
Read Now

6
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... -- Game Semantics and Normalization by Evaluation -- Foundations of Differential Dataflow -- Categorical...”
Cover Image
Read Now

7
Published 2010
Springer London
Table of Contents: “...Insight, Inspiration and Collaboration -- From CSP to Game Semantics -- On Mereologies in Computing...”
Cover Image
Read Now

8
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... ITS -- Natural Language Techniques and Dialogue -- Narrative Tutors and Games -- Semantic Web...”
Cover Image
Read Now

9
by Benthem, Johan van
Published 2007
Amsterdam Univsity Press
Table of Contents: “...Table of Contents; Preface; Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial...”
Cover Image
Read Now

10
Published 2015
Springer India
Table of Contents: “...C. Baskent: Game Semantics and Paraconsistency -- D. Batens: Some adaptive contributions to Logics...”
Cover Image
Read Now

11
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- Algorithmic Game Semantics and Static Analysis -- From Typed Process Calculi...”
Cover Image
Read Now

12
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Independent Programs Using Game Semantics.  ...”
Cover Image
Read Now

13
Published 2002
Springer Netherlands
Table of Contents: “...Cartesian Closed Categories of Effective Domains -- Algorithmic Game Semantics: A Tutorial...”
Cover Image
Read Now

14
Published 2009
Springer Netherlands
Table of Contents: “... -- In the Beginning was Game Semantics? -- The Problem of Determinacy of Infinite Games from an Intuitionistic Point...”
Cover Image
Read Now

15
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... and Elimination for PCF with Algebraic Data Types -- Every Unsolvable ? Term has a Decoration -- Game Semantics...”
Cover Image
Read Now

16
Published 2014
Springer International Publishing
Table of Contents: “... Wallet -- Ensuring Secure Non-interference of Programs by Game Semantics -- Stateful Usage Control...”
Cover Image
Read Now

17
Published 2016
Springer International Publishing
Table of Contents: “...Automated Analysis of Asynchronously Communicating Systems -- Symbolic Game Semantics for Model...”
Cover Image
Read Now

18
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... of tautologies using the schema of equivalence -- Process algebra with combinators -- Is game semantics necessary...”
Cover Image
Read Now

19
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Theory of Secure Control Flow -- Game Semantics Model for Security Protocols -- Communication -- Towards...”
Cover Image
Read Now

20
Published 2012
Springer Netherlands
“... in dynamic logical analysis such as extension of game semantics to non-logical part of vocabulary...”