Not registered as user yet

Name:Giulio Manzonetto
Affiliation:Université Sorbonne Paris Nord

Contributions

POPL 2023 Why are proofs relevant in proof-relevant models?
Show activities from other conferences

Using general profile