Éléonore Mangel's IRIF page

About

I'm a PhD student at IRIF, in Paris, under the direction of Paul-André Melliès and 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 (arXiv), with Paul-André Melliès and Guillaume Munch-Maccagnoni, 2025
  • Delooping the sign homomorphism in univalent mathematics (arXiv), with Egbert Rijke, 2023

Talks

  • Advances in Interactive and Quantitative Semantics, CIRM, 27/05/2025 (slides)

Others