Studying the fully abstract model of PCF within its continuous function model (1993)

by A Jung, A Stoughton
Venue:In LNCS