Giuseppe Primiero profile picture

Giuseppe Primiero

Stand Alone

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