We stand with Ukraine  

Leonardo Pacheco

Orcid: 0000-0002-7703-7990

According to our database1, Leonardo Pacheco authored at least 7 papers between 2022 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
The Constructive μ-calculus: Game Semantics and Non-Wellfounded Proof Systems.
[BibTeX]
[DOI]
Leonardo Pacheco
CoRR, April, 2026

2025
Intuitionistic Gödel-Löb without Sharps.
[BibTeX]
[DOI]
Juan P. Aguilera
,
Leonardo Pacheco
ACM Trans. Comput. Log., October, 2025

2024
The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics.
[BibTeX]
[DOI]
Leonardo Pacheco
Proceedings of the Proceedings Twelfth Workshop on Fixed Points in Computer Science, November, 2024

Collapsing Constructive and Intuitionistic Modal Logics.
[BibTeX]
[DOI]
Leonardo Pacheco
CoRR, 2024

Higher-Order Feedback Computation.
[BibTeX]
[DOI]
Juan P. Aguilera
,
Robert S. Lubarsky
,
Leonardo Pacheco
Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2023
Game semantics for the constructive μ-calculus.
[BibTeX]
[DOI]
Leonardo Pacheco
CoRR, 2023

2022
The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames.
[BibTeX]
[DOI]
Leonardo Pacheco
,
Kazuyuki Tanaka
Proceedings of the Logic, Language, Information, and Computation, 2022


  Loading...