A Classical Type Theory with Transfinite Types.

Garrel Pottinger A Classical Type Theory with Transfinite Types. 81-94 1992 conf/tphol/1992 TPHOLs db/conf/tphol/tphol92.html#Pottinger92