A transfinite type theory with type variables - Andrews, P. B. (Peter Bruce), 1937- (Studies in logic and the foundations of mathematics., 1965)