Catégorie Thèse Auteurs Benoit Valiron https://theses.hal.science/tel-00483944v1 doc ID 483944 Nom Semantics for a Higher Order Functional Programming Language for Quantum Computation Date de publication sam 08/02/2025 - 12:00