Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

méthodes formelles, logique et langages de programmation, calcul quantique

Publications (30)

Communication dans un congrè 13/02/2024

Cyril Allouche , Marc Baboulin , Timothée Goubault de Brugière , Benoit Valiron

Autre publication scientifique 13/02/2024

Benoit Valiron

Communication dans un congrè 13/02/2024

Benoit Valiron

Communication dans un congrè 13/02/2024

Timothée Goubault de Brugière , Marc Baboulin , Benoit Valiron , Cyril Allouche

Communication dans un congrè 12/02/2024

Hai Nguyen Van , Thibaut Balabonski , Frederic Boulanger , Safouan Taha , Benoit Valiron , Burkhart Wolff , Lina Ye

Article dans une revue 09/02/2024

Benoit Valiron , Neil J. Ross , Peter Selinger , D. Scott Alexander , Jonathan M. Smith

Article dans une revue 09/02/2024

Pablo Arrighi , Alejandro Díaz-Caro , Benoit Valiron

Thèse 02/09/2021

Benoit Valiron

Communication dans un congrè 02/09/2021

Peter Selinger , Benoit Valiron

Communication dans un congrè 27/07/2016

Peter Selinger , Benoit Valiron