Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Languageof PCF

摘要

We present a general semantic framework of sequential functions on domainsequipped with a parameterized notion of incremental sequential computation. Under the simplifying assumption that computation other function spaces proceeds by successive application to constants, we construct a sequential semantic model for