Pierre-Marie Pédrot - SPLASH 2022

Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Registered user since Tue 18 Jun 2019

Name:Pierre-Marie Pédrot

Country:France

Affiliation:INRIA

Personal website: https://www.pédrot.fr

GitHub: https://github.com/ppedrot

Research interests:Type Theory

Contributions

2022

APLAS

Committee Member in Program Committee

Show activities from other conferences

SPLASH 2022-profile
View general profile