The next formal methods seminar will take place on April 1st at 13:00 in room A008.

Speaker: Kostia Chardonnet

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.