Resolution in Type Theory

Peter B. Andrews. Resolution in Type Theory. Journal of Symbolic Logic, 36(3):414-432, 1971.

Abstract

Abstract is missing.