• + 1 comment

    Why is lambda calculus called calculus?