Parallel PCF Has a Unique Extensional Model

Allen Stoughton

Browse the full LICS paper archive.