add new poster lambda calculus_supplement