Knowledge and its game-theoretical foundations

the challenges of the dialogical approach to constructive type theory

2016

Shahid Rahman, Radmilo Jovanović, Nicolas Clerbout

in: Epistemology, knowledge and the impact of interaction, Berlin,