Correct and Complete Type Checking and Certified Erasure for Coq, in Coq
Domaines
Informatique [cs]Licence |
---|
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Licence |
---|
Matthieu Sozeau : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04077552
Soumis le : vendredi 21 avril 2023-15:00:42
Dernière modification le : jeudi 28 novembre 2024-14:52:02
Archivage à long terme le : samedi 22 juillet 2023-18:51:13