文章基本信息
- 标题：A Relational Account of Call-by-Value Sequentiality
- 本地全文：下载
- 作者：Jon G. Riecke ; Anders B. Sandholm
- 期刊名称：BRICS Report Series
- 印刷版ISSN：0909-0878
- 出版年度：1997
- 卷号：4
- 期号：41
- 出版社：Aarhus University
- 摘要：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.
