The bottom value [dt-000A]

Following Scott, we introduce a special bottom value \bot to our semantic domains. \bot \ \text {represents}\ \begin {cases}\text {an undefined value;}\\\text {an error value;}\\\text {a \emph {non-terminating} computation.} \end {cases}