Prototype Proofs in Type Theory
Résumé
Link toward file in free access: https://www.di.ens.fr/users/longo/download.html
UAR 3608 République des savoirs : 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 10 juin 2022-15:54:01