Constructive Type Theory and the Dialogical Approach to Meaning - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Article Dans Une Revue The Baltic International Yearbook of Cognition, Logic and Communication Année : 2013

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

Dates et versions

halshs-01225723 , version 1 (06-11-2015)

Identifiants

Citer

Shahid Rahman, Nicolas Clerbout. Constructive Type Theory and the Dialogical Approach to Meaning . The Baltic International Yearbook of Cognition, Logic and Communication, 2013, 8, pp.1-72. ⟨10.4148/1944-3676.1077⟩. ⟨halshs-01225723⟩
76 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More