Extensional Embedding of a Strongly Stable Model of PCF.

Antonio Bucciarelli, Thomas Ehrhard

Browse the full ICALP paper archive.