Concrete domains

Article, Preprint English OPEN
Kahn, Gilles; Plotkin, Gordon;
(1993)

This paper introduces the theory of a particular kind of computation domains called concrete domains. The purpose of this theory is to find a satisfactory framework for the notions of coroutine computation and sequentiality of evaluation.
Share - Bookmark