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 : 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

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

Consultations de la notice

35

Téléchargements de fichiers

16