Bernardo Alonso

Identifiers

• name variant Bernardo Alonso 0.60 · backfill

Papers (1)

1. Four Paradoxes and a Proof Assistant: Burali-Forti, Diaconescu, Reynolds, and Hurkens in the coq-paradoxes library cs.LO · 2026 · author #1

Mentions

• 2605.27633 #1 · arxiv_oai · confidence 0.70 Bernardo Alonso