Évènement

Louis Lemonnier
Edinburgh
https://perso.crans.org/llemonnier/

Date(s) : 03/10/2024   iCal
10h30 - 12h00

In this presentation, we explore the foundational elements required to
interpret reversible programming within a categorical framework. We use the
symmetric pattern-matching language introduced by Sabry, Valiron, and Vizzotto
as a reference point, and we incorporate several improvements. We show that
inductive data types and recursion can also be effectively modeled in this
setting. However, these results do not straightforwardly extend to the pure
quantum case. We provide insights into the challenges encountered and propose
potential directions for addressing these limitations.

Emplacement
LIS, salle 04.05

Catégories

• Séminaire