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. audio.
2. logic An inference system A is sound with respect to
another system B if A can only reach conclusions which are
true in B. A type inference system is considered sound with
respect to a semantics if the type inferred for an
expression is the same as the type inferred for the meaning of
that expression under the semantics.