"A Transfinite Type Theory with Type Variables " - читать интересную книгу автора (Peter B Andrews)