A THEORY OF SEQUENTIALITY

Authors
BUCCIARELLI A EHRHARD T
Citation
A. Bucciarelli et T. Ehrhard, A THEORY OF SEQUENTIALITY, Theoretical computer science, 113(2), 1993, pp. 273-291
Citations number
6
Categorie Soggetti
Computer Sciences","Computer Applications & Cybernetics",Mathematics
Journal title
Theoretical computer science → ACNP
ISSN journal
03043975
Volume
113
Issue
2
Year of publication
1993
Pages
273 - 291
Database
ISI
SICI code
0304-3975(1993)113:2<273:ATOS>2.0.ZU;2-M
Abstract
We show that the notion of sequentiality as presented in concrete data structures may be carried to a more general domain-theoretic framewor k. Cells are replaced by some linear maps on a domain which turns out to be a DI-domain. In a first phase we do not require the cells to be enabled as they are in CDSs, and we get a weak form of cartesian-close dness. Then, by enriching the structure, we get the standard one.