Date: Tuesday, April 1st 2025 – 13h00
Place: A008
Title: Infinite Algebraic Proofs
Lors du séminaire du département du 7 janvier, Alejandro a montré comment étendre le fragment multiplicatif-additif de la logique linéaire intuitionniste au cas quantique.
En particulier, il a montré comment représenter, à travers un système de preuve et par Curry-Howard, un langage de programmation pour toute application linéaire entre des espaces de Hilbert de dimension finie.
Dans cet exposé, nous nous intéressons à la représentation similaire, mais pour des espaces de dimension infinie. Pour ce faire, nous nous appuyons sur les méthodes provenant des logiques à points fixes.
