LIBROS DEL AUTOR: luca paolini

1 resultados para LIBROS DEL AUTOR: luca paolini

luca paolini Eliminar filtro Quitar filtros
  • The Parametric Lambda Calculus
    Luca Paolini / Simona Ronchi Della Rocca
    The A-calculus was invented by Church in the 1930s with the purpose of sup­ plying a logical foundation for logic and mathematics [25]. Its use by Kleene as a coding for computable functions makes it the first programming lan­ guage, in an abstract sense, exactly as the Thring machine can be considered the first computer machine [57]. The A-calculus h...
    Disponible

    66,37 €