Implicative Formulae in the ``Proofs as Computations'' Analogy.

Andrea Asperti Gian Luigi Ferrari Roberto Gorrieri Implicative Formulae in the ``Proofs as Computations'' Analogy. 59-71 1990 POPL db/conf/popl/popl90.html#AspertiFG90