Giuseppe Primiero profile picture

Giuseppe Primiero

Is this your author profile? Create an account to claim and customize it!

On the Foundations of Computing
Information and Knowledge: A Constructive Type-theoretical Approach
Information and Knowledge: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science)
Reflections on Programming Systems
Reflections on Programming Systems Historical and Philosophical Aspects
Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
On the Foundations of Computing
The Realism-Antirealism Debate in the Age of Alternative Logics
Computing with Foresight and Industry
Dall'artificiale al vivente una storia naturale dei concetti
The Realism-Antirealism Debate in the Age of Alternative Logics
Information and Knowledge
On the Foundations of Computing