Implicative Formulae in the "Proofs as Computations Analogy (1990)

by A Asperti, G L Ferrari, R Gorrieri
Venue:in Proceedings of SIGACT/SIGPLAN Symposium on Principles of Programming Language