Paper: Parallel PCF has a unique extensional model (at LICS 1991)

Authors: Allen Stoughton

Abstract

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 Symposium on Logic in Computer Science (LICS 1991)},
    year =	 {1991},
    month =	 {July}, 
    pages =      {146--151},
    location =   {Amsterdam, The Netherlands}, 
    publisher =	 {IEEE Computer Society Press}
  }