Title :
Parallel PCF has a unique extensional model
Author :
Stoughton, Allen
Author_Institution :
Sch. of Cognitive & Comput. Sci., Sussex Univ., Brighton, UK
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
Keywords :
formal logic; applied typed lambda calculus; continuous function model; parallel PCF; parallel or operation; unique extensional model; Algebra; Artificial intelligence; Calculus; Computer science; Equations; Logic;
Conference_Titel :
Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on
Conference_Location :
Amsterdam
Print_ISBN :
0-8186-2230-X
DOI :
10.1109/LICS.1991.151639
