References
Mattia Petrolo
On the computational meaning of axioms
2016
with Naibo Alberto, Seiller Thomas
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
2016
with Naibo Alberto, Seiller Thomas
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer