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
Complete list of metadatas
https://halshs.archives-ouvertes.fr/halshs-01225723
Contributor : Shahid Rahman <>
Submitted on : Friday, November 6, 2015 - 3:54:44 PM
Last modification on : Wednesday, October 16, 2019 - 2:48:40 PM

Links full text

openaccess

Identifiers

Collections

CNRS | 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. ⟨10.4148/1944-3676.1077⟩. ⟨halshs-01225723⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

190

Contact

Informations

CCSD