POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France

Registered user since Tue 11 Dec 2018

Name:Matteo Manighetti
Bio:

Research Engineer at IRIF, Université Paris Cité & CNRS

Country:France
Affiliation:IRIF, Université Paris Cité
Research interests:Logic, Proof Theory

Contributions

Show activities from other conferences

Using general profile