Chapitre D'ouvrage
Année : 2013
Emmanuel Beffara : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03652486
Soumis le : mardi 26 avril 2022-16:39:27
Dernière modification le : vendredi 3 mai 2024-14:49:21
Dates et versions
Identifiants
- HAL Id : hal-03652486 , version 1
Citer
Emmanuel Beffara, Lionel Vaux. Programmes, preuves et fonctions : le ménage à trois de Curry-Howard. Philippe Langlois. Informatique mathématique : Une photographie en 2013, Presses Universitaires de Perpignan, 2013, 978-2-35412-183-9. ⟨hal-03652486⟩
37
Consultations
0
Téléchargements