Constructive Type Theory and the Dialogical Approach to Meaning

Shahid Rahman 1 Nicolas Clerbout 1, 2
1 STL - Savoirs, Textes, Langage (STL) - UMR 8163
2 Universidad de Valparaiso [Chile]
Abstract : . November 2013 Volume 8: Games, Game Theory and Game Semantics pages 1-72. DOI: . Also online in: www.thebalticyearbook.org
Keywords : logic philosophy computer sciences epistemology meaning dialogues interaction
Type de document :
Article dans une revue
The Baltic International Yearbook of Cognition, Logic and Communication, 2013, 8, pp.1-72. 〈http://newprairiepress.org/biyclc/〉. 〈10.4148/1944-3676.1077〉
Liste complète des métadonnées
https://halshs.archives-ouvertes.fr/halshs-01225723
Contributeur : Shahid Rahman <>
Soumis le : vendredi 6 novembre 2015 - 15:54:44
Dernière modification le : mardi 3 juillet 2018 - 11:21:18

Lien texte intégral

openaccess

Identifiants

Collections

HIPHISCITECH | STL | UNIV-LILLE

Citation

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. 〈http://newprairiepress.org/biyclc/〉. 〈10.4148/1944-3676.1077〉. 〈halshs-01225723〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

141

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD