1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 unknown
We construct a model for FPC, a purely functional, sequential, call-by-value language. The model is built from partial continuous functions, in the style of Plotkin, further constrained to be uniform with respect to a class of logical relations. We prove that the model is fully abstract.
Information and Computation, 2002, Vol 179, Issue 2, p. 296-331