Constructive Type Theory and the Dialogical Approach to Meaning - Archive ouverte HAL Access content directly
Journal Articles The Baltic International Yearbook of Cognition, Logic and Communication Year : 2013

Constructive Type Theory and the Dialogical Approach to Meaning

(1) , (1, 2)
1
2

Abstract

. November 2013 Volume 8: Games, Game Theory and Game Semantics pages 1-72. DOI: . Also online in: www.thebalticyearbook.org

Dates and versions

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

Identifiers

Cite

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⟩
66 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More