The Work A Transfinite Type Theory with Type Variables The details The Author Peter B. Andrews The offers
