Provas de Avaliação emProvas de Avaliação emCálculo Lambdaprogramação.confiabilidade de funções naMétodos claros para provar aLinguagens de programaçãoProvando a Confiabilidade no Cálculo Lambda Tipado SimplesExplorando técnicas de prova pra avaliar funções em linguagens de programação.2025-09-21T03:46:30+00:00 ― 7 min ler