Peter B Andrews

• A transfinite type theory with type variables