Proofs and Programs

Article Dans Une Revue Synthese Année : 2003

(1, 2)

1
2

Giuseppe Longo

Département d'informatique - ENS Paris

Cognition Foundations of Mathematical Knowledge Mathematical Knowledge Cognition and Foundations of Mathematical Knowledge

Mathématiques [math] Histoire et perspectives sur les mathématiques [math.HO] Sciences cognitives Sciences de l'Homme et Société Histoire, Philosophie et Sociologie des sciences

Fichier principal

2021_08_11_proofs-progr.pdf (135.08 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal-ens.archives-ouvertes.fr/hal-03318931

Soumis le : mercredi 11 août 2021-12:42:14

Dernière modification le : vendredi 24 mars 2023-14:53:22

Archivage à long terme le : vendredi 12 novembre 2021-19:16:32

hal-03318931 , version 1 (11-08-2021)

Giuseppe Longo. Proofs and Programs. Synthese, 2003, 134 (1-2), pp.85-117. ⟨10.1023/A:1022135614184⟩. ⟨hal-03318931⟩

ENS-PARIS CNRS INRIA INSMI HIPHISCITECH PSL

39 Consultations

30 Téléchargements