Alberto Naibo

According to our database, Alberto Naibo authored at least 8 papers between 2013 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

What is 'undone computer science'?

Chantal Enguehard, Guillaume Munch-Maccagnoni, Alberto Naibo

CoRR, May, 2026

Paradoxical Connectives: Proof-Theoretic Semantics, Recursion, and fixed-Point operators.

Alberto Naibo, Yuta Takahashi

Rev. Symb. Log., 2026

2025

Thinking Machines: Mathematical Reasoning in the Age of LLMs.

Andrea Asperti, Alberto Naibo, Claudio Sacerdoti Coen

Big Data Cogn. Comput., 2025

2024

Artifical intelligence and inherent mathematical difficulty.

Walter Dean, Alberto Naibo

CoRR, 2024

2020

Harmony in the Light of Computational Ludics.

Alberto Naibo, Yuta Takahashi

Proceedings of the Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2020

2019

Postponement of $$\mathsf {raa}$$ raa and Glivenko's Theorem, Revisited.

Giulio Guerrieri, Alberto Naibo

Stud Logica, 2019

An intuitionistic logic for preference relations.

Paolo Maffezioli, Alberto Naibo

Log. J. IGPL, 2019

2013

The Church-Fitch knowability paradox in the light of structural proof theory.

Paolo Maffezioli, Alberto Naibo, Sara Negri

Synth., 2013