Leonardo Pacheco

Leonardo Pacheco

Tohoku University - Sendai / Japan
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4933158
東北大学
person_outline Leonardo Pacheco's MOST POPULAR ARTICLES
1-) The Alternation Hierarchy of the -calculus over Weakly Transitive FramesL Pacheco, K TanakaLogic, Language, Information, and Computation: 28th International Workshop …, 202222022
2-) Determinacy and reflection principles in second-order arithmeticL Pacheco, K YokoyamaarXiv preprint arXiv:2209.04082, 202222022
3-) On One-Variable Fragments of Modal µ-CalculusL Pacheco, W Li, K TanakaComputability Theory and Foundations of Mathematics: Proceedings of the 9th …, 202222022
4-) Higher-Order Feedback ComputationJP Aguilera, RS Lubarsky, L PachecoConference on Computability in Europe, 298-310, 202412024
5-) Game semantics for the constructive -calculusL PachecoarXiv preprint arXiv:2308.16697, 202312023