![Pierre-Marie Pédrot](https://popl22.sigplan.org/getProfileImage/pierremariepedrot/fe58905b-8433-4b3e-a55a-d3183c7e4394/small.jpg?1711456981000)
Registered user since Tue 18 Jun 2019
Name:Pierre-Marie Pédrot
Affiliation:INRIA
Personal website: https://www.pédrot.fr
Research interests:Type Theory
Contributions
POPL 2022-profile
View general profile
View general profile
Registered user since Tue 18 Jun 2019
Contributions