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

Proofs and Programs

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 : jeudi 17 mars 2022 - 10:08:39
Archivage à long terme le : : vendredi 12 novembre 2021 - 19:16:32

Fichier

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

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de la notice

33

Téléchargements de fichiers

28