Realizability games for arithmetical formulæ - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2015

Realizability games for arithmetical formulæ

Abstract

Proposal for a talk that was given during the GaLoP 2015 workshop.
Fichier principal
Vignette du fichier
GaLoP2015 (1).pdf (63.47 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01248093 , version 1 (23-12-2015)

Identifiers

  • HAL Id : hal-01248093 , version 1

Cite

Étienne Miquey. Realizability games for arithmetical formulæ . Worskshop GaLoP2015, Apr 2015, Londres, United Kingdom. ⟨hal-01248093⟩
127 View
40 Download

Share

More