@inproceedings{piliere:inria-00098699, TITLE = {{A CPS-semantics for a typed lambda-calculus of exception handling with fixed-point}}, AUTHOR = {Pili{\`e}re, Catherine}, URL = {https://inria.hal.science/inria-00098699}, NOTE = {Colloque avec actes et comit{\'e} de lecture.}, BOOKTITLE = {{ESSLLI'98}}, ADDRESS = {none}, HAL_LOCAL_REFERENCE = {98-R-123 || piliere98a}, PAGES = {12 p}, YEAR = {1998}, KEYWORDS = {lambda-calculus ; fixed-point ; exception handling ; point-fixe ; exceptions ; isomorphism de Curry-Howard ; Curry-Howard isomorphism ; lambda-calcul}, PDF = {https://inria.hal.science/inria-00098699/file/98-R-123.pdf}, HAL_ID = {inria-00098699}, HAL_VERSION = {v1}, }