Scedrov A. Uniform Proofs as a Foundation for (1991)

by G Nadathur
Venue:Logic Programming, The Annals of Pure and Applied Logic, v.51