add more info about lambda-calculus