Login / Signup
Leonardo Pacheco
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Lower Order
Formal Language
Game Players
Feedback Information
Top Venues
CoRR
WoLLIC
CiE
</>
Publications
</>
Juan P. Aguilera
,
Robert S. Lubarsky
,
Leonardo Pacheco
Higher-Order Feedback Computation.
CiE
(2024)
Leonardo Pacheco
Game semantics for the constructive μ-calculus.
CoRR
(2023)
Leonardo Pacheco
,
Kazuyuki Tanaka
The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames.
WoLLIC
(2022)