2:08Encoding (binary) trees using lambda calculus (2 Solutions!!)Roel Van de Paar168 viewsView & Download