Proofs and Programs

Giuseppe Longo

doi:10.1023/A:1022135614184

Article dans une revue

Proofs and Programs

Giuseppe Longo ^{1, 2}

1 DI-ENS - Département d'informatique de l'École normale supérieure

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

Domaine :

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

Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03318931
Contributeur : Usr 3608 République Des Savoirs <>
Soumis le : mercredi 11 août 2021 - 12:42:14
Dernière modification le : vendredi 13 août 2021 - 03:25:05

2021_08_11_proofs-progr.pdf

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

Proofs and Programs

Fichier

Identifiants

Collections

Citation

Exporter

Métriques

35

16

Proofs and Programs

Fichier

Identifiants

Collections

Citation

Exporter

Partager

Métriques

35

16