Scott domain An {algebraic}, {boundedly complete}, {complete partial order}. Often simply called a {domain}. (1994-11-01)
版权所有 © 2024 3Dict.cn