Interdefinability of parallel operations in PCF

Allen Stoughton

Theoretical Computer Science - Journal of EATCS, 79:357--358, 1991

Available as PostScript.

Abstract:

It is shown that the ``parallel or'' a nd ``parallel conditional'' operations are interdefinable elements of the continuous function model of the programming language PCF.

Comments:
ISSN: 0304-3975

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