LIBROS DEL AUTOR: c hankin

1 resultados para LIBROS DEL AUTOR: c hankin

c hankin Eliminar filtro Quitar filtros
  • An Introduction to Lambda Calculi for Computer Scientists
    C. Hankin / CHankin
    The lambda-calculus lies at the very foundations of computerscience. Besides its historical role in computability theory it hashad significant influence on programming language design andimplementation, denotational semantics, and domain theory. The bookemphasises the proof theory for the type-free lambda-calculus. Thefirst six chapters concern this calculus and cover the basi...
    Disponible

    25,83 €