Results 1 to 10 of about 3,374 (163)
A Game Semantics for System P [PDF]
Studia Logica, 2016 The works on game semantics for non-classical logics are finally getting more and more visible (including the current authors'). This paper presents a game semantics for a non-monotonic logic, called System P. The game is not easy. Its types are not straight-forward.
Johannes Marti, Riccardo Pinosio
exaly +3 more sources
Game semantics for quantum programming [PDF]
Proceedings of the ACM on Programming Languages, 2019 Quantum programming languages permit a hardware independent, high-level description of quantum algo rithms. In particular, the quantum lambda-calculus is a higher-order programming language with quantum primitives, mixing quantum data and classical control.
Glynn Winskel
exaly +5 more sources
Game Semantics in the Nominal Model
Electronic Notes in Theoretical Computer Science, 2012 AbstractWe present a model of games based on nominal sequences, which generalise sequences with atoms and a new notion of coabstraction. This gives a new, precise, and compositional mathematical treatment of justification pointers in game semantics.
Murdoch Gabbay, Dan Ghica
exaly +2 more sources
Game Semantics for Access Control
Electronic Notes in Theoretical Computer Science, 2009 We introduce a semantic approach to the study of logics for access control and dependency analysis, based on Game Semantics. We use a variant of AJM games with explicit justification (but without pointers). Based on this, we give a simple and intuitive model of the information flow constraints underlying access control.
Samson Abramsky, Radha Jagadeesan
exaly +4 more sources
Game Semantics for Quantum Stores
Electronic Notes in Theoretical Computer Science, 2008 AbstractThis paper presents a game semantics for a simply-typed λ-calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the language enough expressiveness to encode any quantum circuits.
Yannick Delbecque, Prakash Panangaden
exaly +2 more sources
Electronic Notes in Theoretical Computer Science, 2012 AbstractGame semantics is a trace-like denotational semantics for programming languages where the notion of legal observable behaviour of a term is defined combinatorially, by means of rules of a game between the term (the Proponent) and its context (the Opponent).
Dan Ghica
exaly +2 more sources
Game Semantics for Quantum Data
Electronic Notes in Theoretical Computer Science, 2011 AbstractThis paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode any quantum circuit. The language uses a notion of extended variable, similar to that seen in functional languages with pattern matching, but adapted to the needs of ...
exaly +2 more sources
Mathematical Structures in Computer Science, 2020 AbstractThe present work achieves a mathematical, in particularsyntax-independent, formulation ofdynamicsandintensionalityof computation in terms ofgamesandstrategies. Specifically, we givegame semanticsof a higher-order programming language that distinguishes programmes with the same value yet different algorithms (or intensionality) and thehiding ...
Norihiro Yamada, Samson Abramsky
openaire +2 more sources
A Game-Theoretic Analysis of Baccara Chemin de Fer, II
Games, 2023 In a previous paper, we considered several models of the parlor game baccara chemin de fer, including Model B2 (a 2×2484 matrix game) and Model B3 (a 25×2484 matrix game), both of which depend on a positive-integer parameter d, the number of decks.
Stewart N. Ethier, Jiyeon Lee
doaj +1 more source
The Connection between the PQ Penny Flip Game and the Dihedral Groups
Mathematics, 2021 This paper is inspired by the PQ penny flip game. It employs group-theoretic concepts to study the original game and its possible extensions. In this paper, it is shown that the PQ penny flip game can be associated, in a precise way, with the dihedral ...
Theodore Andronikos, Alla Sirokofskich
doaj +1 more source