On Play Objects and Dialogical Games; Towards a Dialogical Approach to Constructive Type Theory (by S. Rahman, N. Clerbout, Z. MacCauneghey)
Loading...
Shahid Rahman : Connectez-vous pour contacter le contributeur
https://shs.hal.science/halshs-01226070
Soumis le : dimanche 8 novembre 2015 à 12:23:32
Dernière modification le : mercredi 24 janvier 2024 à 09:54:19