Proofs as Polynomials

Esfandiar Haghverdi, Philip J. Scott. Proofs as Polynomials. Electronic Notes in Theoretical Computer Science, 218:53-72, 2008. [doi]

Abstract

Abstract is missing.