Simon Perdrix
Simon Perdrix
Affiliation: INRIA
Affiliation: LORIA, CNRS, INRIA, Université de Lorraine, France
Pages in this Program
Towards Term-based Verification of Diagrammatic Equivalence
Quantum Control and General Recursion beyond the Unitary Case
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑