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.
Type de document :
Communication dans un congrès
Worskshop GaLoP2015, Apr 2015, Londres, United Kingdom
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01248093
Contributeur : Étienne Miquey <>
Soumis le : mercredi 23 décembre 2015 - 17:16:19
Dernière modification le : vendredi 25 mai 2018 - 12:02:06

Fichier

GaLoP2015 (1).pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01248093, version 1

Collections

INRIA | PPS | USPC

Citation

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

Partager

Métriques

Consultations de la notice

147

Téléchargements de fichiers

51