Kid is based on the Lambda-calculus with first-class let -blocks and I-structures .
This article was originally based on material from the Free On-line Dictionary of Computing, which is used under the GFDL.