Paper: Parallel PCF has a unique extensional model (at LICS 1991)
Authors: Allen StoughtonAbstract
It is shown that the continuous function model is the unique extensional (but not necessarily pointwise ordered) model of the variant of the applied typed lambda calculus PCF that includes the parallel or operation. It is also shown that parallel PCF does not have extensional models that are not inequationally fully abstract or not even equationally fully abstract or extensional models that are not order-extensional
BibTeX
@InProceedings{Stoughton-ParallelPCFhasauniq, author = {Allen Stoughton}, title = {Parallel PCF has a unique extensional model}, booktitle = {Proceedings of the Sixth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1991}, year = 1991, editor = {Giles Kahn}, month = {July}, pages = {146--151}, location = {Amsterdam, The Netherlands}, publisher = {IEEE Computer Society Press} }