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

by A JUNG, A STOUGHTON
Venue:In Proc. Conference on Typed Lambda Calculi and Applications. Lecture Notes in Computer Science 664