Repository | Journal | Volume | Articles
(1988) Synthese 76 (3).
Without violating the spirit of Game-Theoretical semantics, its results can be re-worked in Martin-Löf's Constructive Type Theory by interpreting games as types of Myself's winning strategies. The philosophical ideas behind Game-Theoretical Semantics in fact highly recommend restricting strategies to effective ones, which is the only controversial step in our interpretation. What is gained, then, is a direct connection between linguistic semantics and computer programming.
Publication details
DOI: 10.1007/BF00869607
Full citation:
Ranta, A. (1988). Propositions as games as types. Synthese 76 (3), pp. 377-395.
This document is unfortunately not available for download at the moment.