| Hypergraph simplification: Linking the path-sum approach to the ZH-calculus L Lemonnier, J van de Wetering, A Kissinger arXiv preprint arXiv:2003.13564, 2020 | 27 | 2020 |
| Relating high-level frameworks for quantum circuits L Lemonnier Master’s thesis, Radbound University, 2019. URL: https://www. cs. ox. ac. uk …, 2019 | 5 | 2019 |
| Central submonads and notions of computation: Soundness, completeness and internal languages T Carette, L Lemonnier, V Zamdzhiev 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023 | 4 | 2023 |
| Categorical semantics of reversible pattern-matching K Chardonnet, L Lemonnier, B Valiron arXiv preprint arXiv:2109.05837, 2021 | 4 | 2021 |
| Large-scale quantum diagrammatic reasoning tools,!-boxes vs. scalable notations T Carette, L Lemonnier arXiv preprint arXiv:2204.11702, 2022 | 1 | 2022 |
| Semantics for a Turing-complete Reversible Programming Language with Inductive Types K Chardonnet, L Lemonnier, B Valiron arXiv preprint arXiv:2309.12151, 2023 | | 2023 |
| Central Submonads and Notions of Computation T Carette, L Lemonnier, V Zamdzhiev CoRR, 2022 | | 2022 |
