add new poster lambda calculus