Navegação TCC Ciência da Computação por Autor "Amaral, Artur Três do"
Resultados 1-1 de 1
-
SimpleLambda: uma linguagem funcional didática com tradução para o Cubo Lambda
Amaral, Artur Três do (2023) [Trabalho de conclusão de graduação]Cálculo Lambda é um modelo de computação proposto por Alonzo Church. É baseado na definição e aplicação de funções anônimas, sendo o comportamento dos termos definido por meio da substituição de parâmetros por argumentos. ...