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.

Abstract:

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

Comments:
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