Transfinite Type Theory (1944)

by Enrique Bustamante