@techreport{bonfante:inria-00098791, TITLE = {{Constructing orders by means of inductive definitions}}, AUTHOR = {Bonfante, Guillaume and Lamarche, Fran{\c c}ois}, URL = {https://inria.hal.science/inria-00098791}, NOTE = {Rapport interne.}, TYPE = {Intern report}, NUMBER = {99-R-035 || bonfante99a}, PAGES = {15 p}, YEAR = {1999}, KEYWORDS = {ordres ; orders ; induction ; universal algebra ; ordinals ; alg{\`e}bre universelle ; ordinaux ; martin lof}, PDF = {https://inria.hal.science/inria-00098791/file/99-R-035.pdf}, HAL_ID = {inria-00098791}, HAL_VERSION = {v1}, }