Interpreters for variants of the lambda calculus