Transfinite type theory with type variables - Andrews P B (Amsterdam North-Holland, 1965)
Keywords: Mathematical logic; Type theory