Pi-Calculus, Dialogue Games and PCF

Abstract

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

Topics

5 Figures and Tables

Statistics

0510'97'99'01'03'05'07'09'11'13'15'17
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} }