Uniform Proofs as a Foundation for Logic (1991)

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