@article{Riecke_Sandholm_1997, title={A Relational Account of Call-by-Value Sequentiality}, volume={4}, url={https://tidsskrift.dk/brics/article/view/18967}, DOI={10.7146/brics.v4i41.18967}, abstractNote={We construct a model for FPC, a purely functional, sequential,<br />call-by-value language. The model is built from partial continuous<br />functions, in the style of Plotkin, further constrained to be uniform<br />with respect to a class of logical relations. We prove that the model<br />is fully abstract.}, number={41}, journal={BRICS Report Series}, author={Riecke, Jon G. and Sandholm, Anders B.}, year={1997}, month={Jun.} }