Images de l'Université et des étudiants (1834 - 1970)
Academia Hors collection
Parution : 14/02/2006
check
Expédié sous 2 à 5 jours
Filtrer par
Mélanie De Groote
The curry-howard isomorphism
This volume is devoted to the Formulae-as-Types correspondence, also widely known as the Curry-Howard isomorphism....
45,73 €