Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy

@article{Girard1984FunctorsAO,
  title={Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy},
  author={Jean-Yves Girard and Jacqueline Vauzeilles},
  journal={J. Symb. Log.},
  year={1984},
  volume={49},
  pages={713-729}
}

Topics from this paper.