Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )
Jump to user comments
1. theory In domain theory, the sum A + B of two domains
contains all elements of both domains, modified to indicate
which part of the union they come from, plus a new bottom
element. There are two constructor functions associated with
the sum:
inA : A -@# A+B inB : B -@# A+B
inA(a) = (0,a) inB(b) = (1,b)
and a disassembly operation: