Domains integration and ‘positive analysis’
This article surveys a variety of approaches to integration theory that have arisen in the context of continuous domain theory. The presentation is set in a broader context of ‘positive’ analysis, analysis where order-theoretic notions and notions of positivity play a key role. © 2004, Cambridge University Press. All rights reserved.
Publication Source (Journal or Book title)
Mathematical Structures in Computer Science
Lawson, J. (2004). Domains integration and ‘positive analysis’. Mathematical Structures in Computer Science, 14 (6), 815-832. https://doi.org/10.1017/S0960129504004372