LIBROS DEL AUTOR: anjolina grisi de oliveira

1 resultados para LIBROS DEL AUTOR: anjolina grisi de oliveira

anjolina grisi de oliveira Eliminar filtro Quitar filtros
  • Computational Paths. The Calculus of Equality
    Anjolina Grisi de Oliveira / Arthur Freitas Ramos / Ruy J.G.B. de Queiroz
    When are two proofs of the same proposition equal? This book answers through computational paths - explicit syntactic witnesses that record how one proof-term rewrites into another. Continuing the programme begun in The Functional Interpretation of Logical Deduction (2011), it extends the Curry-Howard correspondence and the tradition of labelled deductive systems into a rewrite...
    Disponible

    34,27 €