Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations"

@article{Henson1973TypeRaisingOO,
  title={Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations"},
  author={C. Ward Henson},
  journal={J. Symb. Log.},
  year={1973},
  volume={38},
  pages={59-68}
}