Extensional embedding of a strongly stable model of PCF (1991)

by A Bucciarelli, T Ehrhard
Venue:In Proc. ICALP, number 510 in LNCS