Not registered as user yet

Name:Federico Olimpieri
Affiliation:University of Leeds

Contributions

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

Using general profile