Pi-Calculus, Dialogue Games and PCF

J. M. E. Hyland, C.-H. Luke Ong. Pi-Calculus, Dialogue Games and PCF. In FPCA. pages 96-107, 1995.

Abstract

Abstract is missing.