Bruno da Rocha Paiva

According to our database, Bruno da Rocha Paiva authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Internal Effectful Forcing in System T.

Martín Hötzel Escardó, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2024

Separating Markov's Principles.

Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Inductive Continuity via Brouwer Trees.

Liron Cohen, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023