A Relational Account of Call-by-Value Sequentiality
DOI:
https://doi.org/10.7146/brics.v4i41.18967Abstract
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.
Downloads
Published
1997-06-11
How to Cite
Riecke, J. G., & Sandholm, A. B. (1997). A Relational Account of Call-by-Value Sequentiality. BRICS Report Series, 4(41). https://doi.org/10.7146/brics.v4i41.18967
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.