Constructive Type Theory and the Dialogical Approach to Meaning
Résumé
. November 2013 Volume 8: Games, Game Theory and Game Semantics pages 1-72. DOI: . Also online in: www.thebalticyearbook.org
Shahid Rahman : Connectez-vous pour contacter le contributeur
https://shs.hal.science/halshs-01225723
Soumis le : vendredi 6 novembre 2015-15:54:44
Dernière modification le : mercredi 5 juin 2024-10:26:18