@article{Chardonnet_2021,
   title={Categorical Semantics of Reversible Pattern-Matching},
   volume={351},
   ISSN={2075-2180},
   url={http://dx.doi.org/10.4204/EPTCS.351.2},
   DOI={10.4204/eptcs.351.2},
   journal={Electronic Proceedings in Theoretical Computer Science},
   publisher={Open Publishing Association},
   author={Chardonnet, Kostia and Lemonnier, Louis and Valiron, Benoît},
   year={2021},
   month=dec, pages={18–33} }