Pi-Calculus, Dialogue Games and PCF

@misc{citeulike:2693564, abstract = {Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantical framework in which to seek to unify analyses of both the qualitative (correctness) as well as the quantitative (efficiency) properties of programming languages. This paper reports work arising from a recent construction of an order (or inequationally) fully abstract model for Scott's functional programming language...}, author = {Hyland, J. M. E. and Ong, C. H. L. }, citeulike-article-id = {2693564}, keywords = {games, semantics}, posted-at = {2008-04-20 21:05:57}, priority = {2}, title = {Pi-Calculus, Dialogue Games and PCF}, url = {http://citeseer.ist.psu.edu/hyland95picalculu.html} }

TY - GEN ID - citeulike:2693564 L3 - citeulike-article-id:2693564 TI - Pi-Calculus, Dialogue Games and PCF N2 - Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantical framework in which to seek to unify analyses of both the qualitative (correctness) as well as the quantitative (efficiency) properties of programming languages. This paper reports work arising from a recent construction of an order (or inequationally) fully abstract model for Scott's functional programming language... KW - games KW - semantics AU - Hyland, JME AU - Ong, CHL UR - http://citeseer.ist.psu.edu/hyland95picalculu.html ER -