Jean-Yves Girard, Jacqueline Vauzeilles. Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy. Journal of Symbolic Logic, 49(4):1079-1114, 1984.
@article{GirardV84a,
title = {Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy},
author = {Jean-Yves Girard and Jacqueline Vauzeilles},
year = {1984},
researchr = {https://researchr.org/publication/GirardV84a},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {49},
number = {4},
pages = {1079-1114},
}