Realizability games for arithmetical formulæ
Abstract
Proposal for a talk that was given during the GaLoP 2015 workshop.
| Origin | Files produced by the author(s) |
|---|
Loading...
Conference Papers
Year : 2015
Étienne Miquey : Connect in order to contact the contributor
https://inria.hal.science/hal-01248093
Submitted on : Wednesday, December 23, 2015-5:16:19 PM
Last modification on : Friday, March 24, 2023-2:53:01 PM
Dates and versions
Identifiers
- HAL Id : hal-01248093 , version 1
Cite
Étienne Miquey. Realizability games for arithmetical formulæ . Worskshop GaLoP2015, Apr 2015, Londres, United Kingdom. ⟨hal-01248093⟩
Collections
127
View
40
Download