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

Histoire et perspectives sur les mathématiques [math.HO] Sciences cognitives 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://ens.hal.science/hal-03318931

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

Dernière modification le : vendredi 19 avril 2024-16:18:55

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 HIPHISCITECH PSL

42 Consultations

38 Téléchargements