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
Jean-Louis Krivine : Connectez-vous pour contacter le contributeur
https://cel.hal.science/cel-00154509
Soumis le : mercredi 13 juin 2007-19:29:06
Dernière modification le : mercredi 17 avril 2024-14:04:42
Archivage à long terme le : jeudi 8 avril 2010-20:09:50