Livrables
Data Management Plan
Data management plan
Publications
Trocq: Proof Transfer for Free, With or Without Univalence
Auteurs:
Cohen, Cyril; Crance, Enzo; Mahboubi, Assia
Publié dans:
Programming Languages and Systems. ESOP 2024, Numéro 14576, 2024, ISBN 978-3-031-57262-3
Éditeur:
Springer
DOI:
10.1007/978-3-031-57262-3_10
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible