@inproceedings{piliere:inria-00098837, TITLE = {{A confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-point}}, AUTHOR = {Pili{\`e}re, Catherine}, URL = {https://inria.hal.science/inria-00098837}, NOTE = {Colloque avec actes et comit{\'e} de lecture.}, BOOKTITLE = {{12th International Symposium on Fundamentals of Computation Theory - FCT'99}}, ADDRESS = {Iasi, Romania}, HAL_LOCAL_REFERENCE = {99-R-258 || piliere99a}, EDITOR = {Gabriel Ciobanu \& Gheorghe Paun}, PUBLISHER = {{Springer-Verlag}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {1684}, PAGES = {421-432}, YEAR = {1999}, KEYWORDS = {lambda-calculus ; confluence ; exception handling ; functional programming ; fixed-point ; traitement d'exception ; programmation fonctionnelle ; point fixe ; lambda-calcul}, HAL_ID = {inria-00098837}, HAL_VERSION = {v1}, }