A Logic of Sequentiality

Abstract

Game semantics has been used to interpret both proofs and functional programs: an important further development on the programming side has been to model higher-order programs with state by allowing strategies with “history-sensitive” behaviour. In this paper, we develop a detailed analysis of the structure of these strategies from a logical perspective by… (More)
DOI: 10.1007/978-3-642-15205-4_19

Topics

4 Figures and Tables