Búsqueda de LIBROS DEL AUTOR: h p barendregt

1 resultados

h p barendregt Eliminar filtro Quitar filtros
  • THE LAMBDA CALCULUS
    ebook
    THE LAMBDA CALCULUS
    H.P. BARENDREGT
    The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those part...

    $1,768.00

    Ver detalle