@techreport{degroote:inria-00098334, TITLE = {{Preuve de confluence de $\lambda_{exn}$}}, AUTHOR = {de Groote, Philippe and Pili{\`e}re, Catherine}, URL = {https://inria.hal.science/inria-00098334}, NOTE = {Rapport interne.}, TYPE = {Intern report}, NUMBER = {98-R-298 || de\_groote98b}, PAGES = {19 p}, YEAR = {1998}, KEYWORDS = {N.A. ; N.A}, HAL_ID = {inria-00098334}, HAL_VERSION = {v1}, }