
Registered user since Tue 9 Feb 2016
Name:Benoit Valiron
Bio:
Assistant professor at CentraleSupelec.
Country:France
Affiliation:LRI, CentraleSupelec, Univ. Paris Saclay
Personal website:http://www.monoidal.net
Research interests:Logic, Semantics, Functional programming, Category theory, Quantum computation
Contributions
POPL 2017 | The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects Student Activity Chair in Organizing Committee | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile