Prototype Proofs in Type Theory
Résumé
Link toward file in free access: https://www.di.ens.fr/users/longo/download.html
Article Dans Une Revue
Mathematical Logic Quaterly
Année : 2000
Cécile Alrivie : Connectez-vous pour contacter le contributeur
https://ens.hal.science/hal-03318025
Soumis le : lundi 9 août 2021-10:38:43
Dernière modification le : vendredi 19 avril 2024-16:18:57
Dates et versions
Identifiants
- HAL Id : hal-03318025 , version 1
Citer
Giuseppe Longo. Prototype Proofs in Type Theory. Mathematical Logic Quaterly, 2000, 46 (3). ⟨hal-03318025⟩
14
Consultations
0
Téléchargements