A Relational Account of Call-by-Value Sequentiality

Authors

  • Jon G. Riecke
  • Anders B. Sandholm

DOI:

https://doi.org/10.7146/brics.v6i10.20067

Abstract

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

1999-01-10

How to Cite

Riecke, J. G., & Sandholm, A. B. (1999). A Relational Account of Call-by-Value Sequentiality. BRICS Report Series, 6(10). https://doi.org/10.7146/brics.v6i10.20067