Uniform Proofs as a Foundation for Logic Programming (1991)

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