Realizability: a machine for Analysis and Set Theory - CEL - Cours en ligne Accéder directement au contenu
Cours Année : 2006

Realizability: a machine for Analysis and Set Theory

Résumé

The Curry-Howard (proof-program) correspondence in Analysis by means of a new technique of realizability
Fichier principal
Vignette du fichier
Geocal06.pdf (339.29 Ko) Télécharger le fichier

Dates et versions

cel-00154509 , version 1 (13-06-2007)

Identifiants

  • HAL Id : cel-00154509 , version 1

Citer

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⟩
286 Consultations
244 Téléchargements

Partager

Gmail Facebook X LinkedIn More