Studying the fully abstract model of PCF within its continuous function model

Allen Stoughton

In Marc Bezem and Jan Friso Groote, editors, Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93 (Utrecht, The Netherlands, 1993, March 16-18), number 664 in Lecture Notes in Computer Science, pages 230--244, Berlin, 1993. Springer-Verlag

Available as PostScript.


We give a concrete presentation of the inequationally fully abstract model of PCF as a continuous projection of the inductively reachable subalgebra of PCF's continuous function model.

ISBN: 3-540-56517-5 / 0-387-56517-5

Authors addresses: Fachbereich Mathematik, Technische Hochschule Darmstadt, Schloßgartenstraße 7, D-6100 Darmstadt, Germany, e-mail:
School of Cognitive and Computing Sciences, University of Sussex, Falmer, Brighton BN1 9QH, UK, e-mail:

[BRICS symbol] BRICS WWW home page