Encoding (binary) trees using lambda calculus (2 Solutions!!) 2:08 | A processar vídeo... A Carregar... Transferir