Pi-Calculus, Dialogue Games and PCF


Game semantics is an unusual denotational semantics in that it captures the intentional (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… (More)
DOI: 10.1145/224164.224189


5 Figures and Tables


Citations per Year

58 Citations

Semantic Scholar estimates that this publication has 58 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Hyland1995PiCalculusDG, title={Pi-Calculus, Dialogue Games and PCF}, author={Martin Hyland and C.-H. Luke Ong}, booktitle={FPCA}, year={1995} }