===== Éléonore Mangel's IRIF page ===== ==== About ==== I'm a PhD student at IRIF, in Paris, under the direction of [[https://www.irif.fr/~mellies|Paul-André Melliès]] and [[https://guillaume.munch.name|Guillaume Munch-Maccagnoni]]. ==== Contact ==== Mail : eleonore.lastname@irif.fr Desk 3010\\ Bâtiment Sophie Germain\\ 8 Place Aurélie Nemours\\ 75205 Paris Cedex 13\\ ==== Articles ==== === Preprints === * **Classical notions of computation and the Hasegawa-Thielecke theorem** ([[https://arxiv.org/abs/2502.13033|arXiv]]), with Paul-André Melliès and Guillaume Munch-Maccagnoni, 2025 * **Delooping the sign homomorphism in univalent mathematics** ([[https://arxiv.org/abs/2301.10011|arXiv]]), with Egbert Rijke, 2023 ==== Talks ==== * Advances in Interactive and Quantitative Semantics, CIRM, 27/05/2025 ([[https://www.irif.fr/_media/users/mangel/CIRM-27-05-25.pdf|slides]]) ==== Others ==== * [[https://www.irif.fr/_media/users/mangel/final-report-ARPE.pdf|A directed homotopy type theory for 1-categories]], report of my internship with Paige R. North, 2023-24