Proofs and Programs - ENS - École normale supérieure Accéder directement au contenu
Article Dans Une Revue Synthese Année : 2003

Dates et versions

hal-03318931 , version 1 (11-08-2021)

Identifiants

Citer

Giuseppe Longo. Proofs and Programs. Synthese, 2003, 134 (1-2), pp.85-117. ⟨10.1023/A:1022135614184⟩. ⟨hal-03318931⟩
42 Consultations
38 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More