Game semantics and subtyping
Game Semantics is a relatively new framework for the description of the semantics of programming languages. By combining the mathematical elegance of Denotational Semantics with explicitly operational concepts, Game Semantics has made possible the direct and intuitive modelling of a large range of p...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
2003
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561824 |