Proofs as Polynomials

by Esfandiar Haghverdi, Philip J. Scott