Open AccessA Relational Account of Call-by-Value Sequentiality
Author(s) -
Jon G. Riecke,
Anders B. Sandholm
Publication year - 1999
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v6i10.20067
Subject(s) - construct (python library) , class (philosophy) , value (mathematics) , mathematics , computer science , discrete mathematics , programming language , artificial intelligence , statistics
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.