We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...
Leisure computing has been traditional associated with interactive entertainment media and game playing, yet despite the penetration of computing into the home, this form of engage...
As computing moves into every aspect of our daily lives, the process, values and assumptions that underlie our technical practices may unwittingly be propagated throughout our cul...
Researchers are using emerging technologies to develop novel play environments, while established computer and console game markets continue to grow rapidly. Even so, evaluating t...
Regan L. Mandryk, M. Stella Atkins, Kori M. Inkpen
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...