Pedro Abreu

Registered user since Mon 28 Apr 2025

Name:Pedro Abreu
Affiliation:Type Theory Forall

Contributions