@inproceedings{biernacki:hal-02559253, TITLE = {{A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i} and Polesiuk, Piotr}, URL = {https://inria.hal.science/hal-02559253}, BOOKTITLE = {{Formal Structures for Computation and Deduction}}, ADDRESS = {Paris, France}, YEAR = {2020}, MONTH = Jun, DOI = {10.4230/LIPIcs.FSCD.2020.7}, PDF = {https://inria.hal.science/hal-02559253/file/fscd.pdf}, HAL_ID = {hal-02559253}, HAL_VERSION = {v1}, }