Transfinite type theory with type variables - Andrews P B (1965)
Keywords: PHILOSOPHY