HYLAND J. M. E. AND ONG C. H.L. 1995. Pi-cMculus dialogue games and full abstraction for PCF. In Proceedings of the Conference on Functional Programming Languages Computer Architecture (New York, NY, USA, June 1995), pages 96-107. ACM Press.
author author author author author author author author date title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle location location location location date date pages pages publisher publisher