127286

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