Title: A transfinite type theory with type variables
Subjects: Type theory