Clément Aubert

*Reversible computations are computations*, co-authored with Jean Krivine, presents extremely elegant results about semantics models of reversible computations. You don't need anything extra to model reversible computation, everything is already here 🤯

It was accepted at MFPS (https://www.coalg.org/calco-mfps-2025/mfps/accepted/), and Jean will be presenting it at the University of Strathclyde in Glasgow.

Accepted Papers - CALCO MFPS 2025

May 16, 2025 at 3:11pmWeb
Show threadClément AubertJun 17, 2025
The pre-print is now available at https://www.coalg.org/calco-mfps-2025/pre-proceedings/MFPS25-29.pdf , it will be the last talk of the day at #MFPS on Thursday!
Show threadAlan 🎲 May 19, 2025
@clementaubert I would gladly read it! Is it available online? (Your site has a certificate issue, and I cannot find it on Jean’s site)
Show threadClément AubertMay 19, 2025
@brab Thanks for inquiring, and sorry about the website inaccessibility! There will be a pre-proceedings version posted on https://www.coalg.org/calco-mfps-2025/ before the conference, I'll ping you when it's live.
CALCO MFPS 2025

Show threadAlan 🎲 May 19, 2025
@clementaubert Thank you!