Realizability: a machine for Analysis and Set Theory

Abstract : The Curry-Howard (proof-program) correspondence in Analysis by means of a new technique of realizability
Type de document :
Cours
École thématique. Université de Luminy Février 2006, 2006, pp.106
Liste complète des métadonnées

https://cel.archives-ouvertes.fr/cel-00154509
Contributeur : Jean-Louis Krivine <>
Soumis le : mercredi 13 juin 2007 - 19:29:06
Dernière modification le : mardi 11 octobre 2016 - 13:55:46
Document(s) archivé(s) le : jeudi 8 avril 2010 - 20:09:50

Fichier

Identifiants

  • HAL Id : cel-00154509, version 1

Collections

PPS | INSMI | USPC

Citation

Jean-Louis Krivine. Realizability: a machine for Analysis and Set Theory. École thématique. Université de Luminy Février 2006, 2006, pp.106. <cel-00154509>

Partager

Métriques

Consultations de
la notice

271

Téléchargements du document

195