P. B Andrews

• A transfinite type theory with type variables, (Studies in logic and the foundations of mathematics)