Parallel PCF has a unique extensional model

Allen Stoughton

In Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, pages 146--151, Amsterdam, The Netherlands, July 15--18 1991. IEEE Computer Society Press

Available as PostScript.


We show 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

IEEE Computer Society Order Number 2230; Library of Congress Number 89-641304; IEEE Catalog Number 91CH3025-4; ISBN 0-8186-2230-X

Authors address: Computer Science and Artificial Intelligence, School of Cognitive and Computing Sciences, University of Sussex, Falmer, Brighton BN1 9QH, England.

[BRICS symbol] BRICS WWW home page