Navegação TCC Ciência da Computação por Assunto "LAMBDA"

Resultados 1-2 de 2

    • 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. ...

    • Simulador para o cubo lambda estendido com tipos indutivos 

      Chandelier, Eduardo Bassani (2023) [Trabalho de conclusão de graduação]
      A compreensão de Cálculo Lambda e Teoria dos Tipos é importante para entender com mais profundidade os fundamentos tanto de linguagens funcionais modernas como de ferramentas assistentes de prova. Ao longo dos anos uma ...