Concrete DomainsArticle, Preprint English OPEN
Kahn, G.; Plotkin, G.D.; (1993)
- Publisher: Elsevier BV
- Journal: volume 121, issue 1-2, pages 187-277issn: 0304-3975
Subject: Theoretical Computer Science | Computer Science(all) | Laboratory for Foundations of Computer Science
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.