Implicative Formulae in the "Proofs as Computations" Analogy.

Andrea Asperti, Gian-Luigi Ferrari, Roberto Gorrieri

Browse the full POPL paper archive.