Scott domain

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

Last updated: 1994-11-01


Loading