Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )
Kid
Jump to user comments
Kernel language for Id. A refinement of P-TAC, used as
an intermediate language for Id. Lambda-calculus with
first-class let-blocks and I-structures.