Communication Dans Un Congrès
Année : 2020
Connectez-vous pour contacter le contributeur
https://hal.science/hal-03457352
Soumis le : mardi 30 novembre 2021-14:59:36
Dernière modification le : mercredi 20 août 2025-10:50:55
Dates et versions
Identifiants
- HAL Id : hal-03457352 , version 1
Citer
Matteo Manighetti, Dale Miller, Alberto Momigliano. Two Applications of Logic Programming to Coq. 26th International Conference on Types for Proofs and Programs (TYPES 2020), Mar 2020, Turin, Italy. ⟨hal-03457352⟩
Collections
131
Consultations
0
Téléchargements