@techreport{bonfante:inria-00098560, TITLE = {{A semantics and a syntax for ordinal notations and hierarchies}}, AUTHOR = {Bonfante, Guillaume and Cichon, Adam and Lamarche, Fran{\c c}ois}, URL = {https://inria.hal.science/inria-00098560}, NOTE = {Rapport interne.}, TYPE = {Intern report}, NUMBER = {98-R-070 || bonfante98b}, PAGES = {33 p}, YEAR = {1998}, KEYWORDS = {s{\'e}mantique ; r{\'e}cursion ; ordinaux ; calcul lambda ; ordinals ; lambda calculus ; semantics}, HAL_ID = {inria-00098560}, HAL_VERSION = {v1}, }