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 : vendredi 24 mars 2023-14:52:49
Archivage à long terme le : jeudi 8 avril 2010-20:09:50