Imperative programs as proofs via game semantics
Game semantics extends the Curry-Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs. In this thesis we describe a logical counterpart to this extension, in...
Main Author: | Churchill, Martin |
---|---|
Other Authors: | McCusker, Guy |
Published: |
University of Bath
2011
|
Subjects: | |
Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.546658 |
Similar Items
-
The use of system dynamics to implement key concepts in game theory
by: Rafferty, Martin
Published: (2010) -
Parental effort games
by: Wilson, Elaine Marcia Kate
Published: (2006) -
Graphical game theory with mobility
by: Symonds, Adam James
Published: (2015) -
Graph transformation games for negotiating features
by: Alabdullatif, Mohammed Abdulrahman Ahmed
Published: (2017) -
Preferences, counterfactuals and maximisation : reasoning in game theory
by: Beckmann, Philipp Ulrich
Published: (2005)