Equationally fully abstract models of PCF (1990)

by A Stoughton
Venue:In Proc. 5th Int. Conf. Mathematical Foundations of Programming Semantics