The Lambda Shell is based on the untyped Lambda calculus. It is a simple system of term substitution.