DocumentCode
2146214
Title
Parallel PCF has a unique extensional model
Author
Stoughton, Allen
Author_Institution
Sch. of Cognitive & Comput. Sci., Sussex Univ., Brighton, UK
fYear
1991
fDate
15-18 July 1991
Firstpage
146
Lastpage
151
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/LICS.1991.151639
Filename
151639
Link To Document