![Benoit Valiron](https://popl20.sigplan.org/getProfileImage/benoitvaliron/3c21934c-c321-466c-afdb-1baffb54aef6/small.jpg?1711500615000)
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 2020-profile
View general profile
View general profile