LIBROS DEL AUTOR: giulio manzonetto

1 resultados para LIBROS DEL AUTOR: giulio manzonetto

giulio manzonetto Eliminar filtro Quitar filtros
  • A Lambda Calculus Satellite
    Giulio Manzonetto / Henk Barendregt
    In 1936 the notion of intuitive computability was operationalized in two different ways: via Turing machines and via lambda-calculus. The difference consisted in manipulating beads (bits) for the former approach versus manipulating trees (rewriting lambda-terms) for the latter. Both proposals turned out to formalize the same notion of computability, and led to the Church-Turing...
    Disponible

    45,34 €