Uniform Proofs as a Foundation for (1991)

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