Accéder directement au contenu Accéder directement à la navigation
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 : lundi 10 janvier 2022 - 17:38:03
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, Springer Verlag (Germany), 2003, 134 (1-2), pp.85-117. ⟨10.1023/A:1022135614184⟩. ⟨hal-03318931⟩

Partager

Métriques

Les métriques sont temporairement indisponibles