On Play Objects and Dialogical Games; Towards a Dialogical Approach to Constructive Type Theory (by S. Rahman, N. Clerbout, Z. MacCauneghey) - Archive ouverte HAL Access content directly
Book Sections Year : 2014

On Play Objects and Dialogical Games; Towards a Dialogical Approach to Constructive Type Theory (by S. Rahman, N. Clerbout, Z. MacCauneghey)

(1) , (1, 2)
1
2
Not file

Dates and versions

halshs-01226070 , version 1 (08-11-2015)

Identifiers

  • HAL Id : halshs-01226070 , version 1

Cite

Shahid Rahman, Nicolas Clerbout. On Play Objects and Dialogical Games; Towards a Dialogical Approach to Constructive Type Theory (by S. Rahman, N. Clerbout, Z. MacCauneghey). In P. Allo, V. v. Kerkhove. Modestly radical or radically modes Festschrift for Jean-Paul van Bendegem., College Publications, 2014, 9781848900707. ⟨halshs-01226070⟩
80 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More