The Review of Metaphysics

Volume 20, Issue 1, September 1966

P. J. M
Page 144

A Transfinite Type Theory with Type Variables

There are no citations, may be on Google Scholar.