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
Document type :
Journal articles
Liste complète des métadonnées
https://halshs.archives-ouvertes.fr/halshs-01225723
Contributor : Shahid Rahman <>
Submitted on : Friday, November 6, 2015 - 3:54:44 PM
Last modification on : Tuesday, July 3, 2018 - 11:21:18 AM

Links full text

openaccess

Identifiers

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

145

Contact

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