Búsqueda de LIBROS DEL AUTOR: urzyczyn pawel

1 resultados

urzyczyn pawel Eliminar filtro Quitar filtros
  • LECTURES ON THE CURRY-HOWARD ISOMORPHISM
    ebook
    LECTURES ON THE CURRY-HOWARD ISOMORPHISM
    SØRENSEN, MORTEN HEINE / URZYCZYN, PAWEL
    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculu...

    $2,098.00

    Ver detalle