Scott domain

Search:

Scott domain

An algebraic, boundedly complete, complete partial order. Often simply called a domain.

(1994-11-01)