![Theo Winterhalter](https://popl19.sigplan.org/getProfileImage/theowinterhalter/ece697b6-2c85-474f-b005-39f1e23890ad/small.jpg?1711504275000)
Registered user since Wed 7 Mar 2018
Name:Theo Winterhalter
Country:France
Affiliation:Gallinette / Inria / LS2N
Research interests:Type theory, Proof theory
Contributions
POPL 2019-profile
View general profile
View general profile
Registered user since Wed 7 Mar 2018
Contributions