@techreport{bonfante:inria-00099304, TITLE = {{A monotone lambda-calculus: the example of ordinal terms}}, AUTHOR = {Bonfante, Guillaume and Lamarche, Fran{\c c}ois}, URL = {https://inria.hal.science/inria-00099304}, NOTE = {Rapport interne.}, TYPE = {Intern report}, NUMBER = {A00-R-180 || bonfante00a}, PAGES = {15 p}, YEAR = {2000}, KEYWORDS = {typed lambda calculus ; inductive types ; ordinal notations ; types inductifs ; notations ordinales ; s{\'e}mantique ; semantics ; lambda calcul type}, HAL_ID = {inria-00099304}, HAL_VERSION = {v1}, }