Skip to Main content Skip to Navigation
Conference papers

Realizability games for arithmetical formulæ

Étienne Miquey 1, 2, 3 
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Abstract : Proposal for a talk that was given during the GaLoP 2015 workshop.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-01248093
Contributor : Etienne Miquey Connect in order to contact the contributor
Submitted on : Wednesday, December 23, 2015 - 5:16:19 PM
Last modification on : Friday, January 21, 2022 - 3:20:00 AM

File

GaLoP2015 (1).pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01248093, version 1

Collections

Citation

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

Share

Metrics

Record views

123

Files downloads

32