Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Proofs and Programs

Giuseppe Longo 1, 2
1 DI-ENS - Département d'informatique - ENS Paris
2 LIENS - Laboratoire d'informatique de l'école normale supérieure
Keywords : Cognition Foundations of Mathematical Knowledge Mathematical Knowledge Cognition and Foundations of Mathematical Knowledge
Type de document :
Article dans une revue
Liste complète des métadonnées
https://hal-ens.archives-ouvertes.fr/hal-03318931
Contributeur : Uar 3608 République Des Savoirs Connectez-vous pour contacter le contributeur
Soumis le : mercredi 11 août 2021 - 12:42:14
Dernière modification le : lundi 10 janvier 2022 - 17:38:03
Archivage à long terme le : : vendredi 12 novembre 2021 - 19:16:32

Fichier

Vignette du document
2021_08_11_proofs-progr.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

ENS-PARIS | HIPHISCITECH | INSMI | PSL | CNRS | INRIA

Citation

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

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Les métriques sont temporairement indisponibles

logo des bib de l'ENS

Contact
Bibliothèques de l'ENS
45 Rue d'Ulm, 75230
Paris cedex 05, France
acces-ouvert@ens.psl.eu

 logo de l'ENS

Données personnelles | Mentions légales | Conformité RGAA | Accessibilité