Registered user since Tue 9 Feb 2016
Name:Benoit Valiron
Bio:
Assistant professor at CentraleSupelec.
Country:France
Affiliation:Université Paris-Saclay, CNRS, CentraleSupélec, LMF
Personal website: http://www.monoidal.net
Research interests:Logic, Semantics, Functional programming, Category theory, Quantum computation
Contributions
2021
PLanQC
PLDI 2021-profile
View general profile
View general profile