Introdução ao Cálculo Lambda :: Apr 23, 2016
Alinhamento de Sequências - Uma abordagem funcional :: Apr 8, 2016