conf.researchr.org / Federico Olimpieri
Not registered as user yet
Name:Federico Olimpieri
Country:United Kingdom
Affiliation:University of Leeds
Contributions
| POPL 2023 | Author of Why Are Proofs Relevant in Proof-Relevant Models? within the POPL-track |