Bruno da Rocha Paiva

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Internal Effectful Forcing in System T.

[BibT_eX]

[DOI]

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

2024

Separating Markov's Principles.

[BibT_eX]

[DOI]

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

2023

Inductive Continuity via Brouwer Trees.

[BibT_eX]

[DOI]

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