LIBROS DEL AUTOR: simona ronchi della rocca

2 resultados para LIBROS DEL AUTOR: simona ronchi della rocca

simona ronchi della rocca 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 €

  • Typed Lambda Calculi and Applications
    Simona Ronchi Della Rocca
    This volume represents the proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France during 26-28 June 2007, in conjunction with RTA. It contains the abstracts of the invited talks by Frank Pfenning and Patrick Baillot, plus 25 contributed - pers. The contributed papers were selected ...
    Disponible

    65,71 €