Parallel PCF has a unique extensional model | IEEE Conference Publication | IEEE Xplore