Bruno da Rocha Paiva. PhD researcher; Dependent types and effects; Supervised by Vincent Rahli and Martín Escardó; University of Birmingham.
Qualifications: MEng in Mathematics and Computer Science, Imperial College London, UK. Teaching: Mathematical and Logical Foundations for Computer Science.
I am interested in dependent type theories, constructive logic and categorical logic. Currently I am focused on using computational effects such as state or ...
Incoming PhD student in the theory group of the Computer Science department at the university of Birmingham. My reserach interests lie at the intersection ...
Bruno da Rocha Paiva · 0000-0002-2205-8815 · Personal information · Activities.
Bruno da Rocha Paiva · Most frequent co-Author · Most cited colleague · Most frequent Affiliation.
Inductive Continuity via Brouwer Trees. Authors: Liron Cohen, Bruno da Rocha Paiva, Vincent Rahli, and Ayberk Tosun. Published in: LIPIcs, Volume 272, ...
Dr Bruno Paiva, PharmD, PhD, is a research fellow of the Departments of Haematology and Immunology at the Clinica Universidad de Navarra and CIMA, Pamplona, ...
Missing: Rocha | Show results with:Rocha
May 23, 2024 · Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli. Separating. Markov's Principles. 39th Annual ACM/IEEE ...