Reflections on formalism and reductionism in Logic and Computer Science - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 1992

Reflections on formalism and reductionism in Logic and Computer Science

(1, 2)
1
2
Giuseppe Longo
  • Fonction : Auteur
  • PersonId : 1074914
École normale supérieure - Paris
Département de mathématiques et d'informatique

Domaines

Informatique [cs] Mathématiques [math]

UAR 3608 République des savoirs  : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 9 août 2021-13:50:05

Dernière modification le : vendredi 10 juin 2022-15:54:01

Fichier non déposé

Dates et versions

hal-03318152 , version 1 (09-08-2021)

Identifiants

  • HAL Id : hal-03318152 , version 1

Citer

Giuseppe Longo. Reflections on formalism and reductionism in Logic and Computer Science. European Conference of Mathematics, pp.202-209, 1992. ⟨hal-03318152⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

ENS-PARIS INSMI PSL
15 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More