MFPSA System-Level Game Semantics Dan R. Ghica University of Birmingham

First Page		Document Content
Date: 2012-07-18 08:08:46 Applied mathematics Models of computation Algebraic geometry Field theory Valuation Combinatory logic Denotational semantics Theoretical computer science Logic in computer science Mathematics		MFPSA System-Level Game Semantics Dan R. Ghica University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 334,14 KB Share Document on Facebook