A Transfinite Type Theory with Type Variables (0)

by P B Andrews