Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Domain theory

Known as: Domain, Way-below relation 
Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
In the last issue of this journal Mitchell, Keller, and Kedar-Cabelli presented a unifying framework for the explanation-based… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Modern embedded computing systems tend to be heterogeneous in the sense of being composed of subsystems with very different… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Part I. The Nature of Morality and the Development of Social Values: 1. Morality and domains of social knowledge 2. Morality and… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
  • L. Fan
  • MFPS
  • 2001
  • Corpus ID: 19302111
Abstract This paper introduces a new approach to the theory of Ω-categories enriched by a frame. The approach combines ideas from… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
bases were introduced in [Smy77] where they are called “R-structures”. Examples of abstract bases are concrete bases of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1994
Highly Cited
1994
1. Introduction 2. Categorical preliminaries 3. Partiality 4. Order-enriched categories of partial maps 5. Data types 6… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
  • E. Moggi
  • Inf. Comput.
  • 1991
  • Corpus ID: 12767331
Abstract The λ-calculus is considered a useful mathematical tool in the study of programming languages, since programs can be… Expand
  • table 1
  • table 2
  • table 3
  • table 5
  • table 6
Is this relevant?
Highly Cited
1989
Highly Cited
1989
  • E. Moggi
  • [] Proceedings. Fourth Annual Symposium on Logic…
  • 1989
  • Corpus ID: 5411355
The lambda -calculus is considered a useful mathematical tool in the study of programming languages. However, if one uses beta… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Abstract Abramsky, S., Domain theory in logical form, Annals of Pure and Applied Logic 51 (1991) 1–77. • Domain theory, the… Expand
Is this relevant?
Highly Cited
1979
Highly Cited
1979
The general aim of the paper is to find a theory of concurrency combining the approaches of Petri and Scott (and other workers… Expand
Is this relevant?