Constructive Type Theory and the Dialogical Approach to Meaning
Abstract
. November 2013 Volume 8: Games, Game Theory and Game Semantics pages 1-72. DOI: . Also online in: www.thebalticyearbook.org
Shahid Rahman : Connect in order to contact the contributor
https://shs.hal.science/halshs-01225723
Submitted on : Friday, November 6, 2015-3:54:44 PM
Last modification on : Tuesday, December 6, 2022-12:42:12 PM