Scedrov A., “Uniform Proofs as a Foundation for Logic Programming (1991)

by D Miller, G Nadathur, F Pfenning
Venue:In Annals of Pure and Applied Logic