add lambda calculus's new post