2 |
Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory
|
|
|
|
In: Epistemology, Knowledge and the Impact of Interaction ; https://halshs.archives-ouvertes.fr/halshs-01227833 ; Epistemology, Knowledge and the Impact of Interaction, Springer, 2016 ; http://www.springer.com/us/book/9783319265049 (2016)
|
|
BASE
|
|
Show details
|
|
4 |
A Plaidoyer for the Play LeveL
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-01226153 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
8 |
Constructive Type Theory and the Dialogical Turn. ; Constructive Type Theory and the Dialogical Turn.: A New Start for the Erlanger Konstruktivismus
|
|
|
|
In: Dialogische Logik. ; https://halshs.archives-ouvertes.fr/halshs-01226069 ; J. Mittelstrass, J.; C. von Bülow. Dialogische Logik., Mentis, pp.91-148., 2014 (2014)
|
|
BASE
|
|
Show details
|
|
17 |
Dialogical logic, Modal logic and Branches and Strategies
|
|
|
|
In: How to Play Dialogues. London ; https://halshs.archives-ouvertes.fr/halshs-01226080 ; Juan Redmond, Matheiu Fontaine. How to Play Dialogues. London, College Publications, 2011, 9781848900462 ; http://www.collegepublications.co.uk/dialogues/?00001 (2011)
|
|
BASE
|
|
Show details
|
|
|
|