Alberto Naibo

Identifiers

• name variant Alberto Naibo 0.60 · backfill

Papers (2)

1. What is 'undone computer science'? cs.CY · 2026 · author #3
2. Postponement of raa and Glivenko's theorem, revisited (extended version) math.LO · 2017 · author #2

Mentions

• 2605.26084 #3 · arxiv_oai · confidence 0.70 Alberto Naibo

Frequent Coauthors

• Chantal Enguehard 1 shared papers
• Giulio Guerrieri 1 shared papers
• Guillaume Munch-Maccagnoni 1 shared papers