VDict mobile



theory The least defined element in a given domain.
Often used to represent a non-terminating computation.
(In LaTeX, bottom is written as perp, sometimes with the
domain as a subscript).
(1997-01-07)