RD1 est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
-
Je n'ai encore rien demandé.
Dernières réponses
- 35 votes
Quelles sont les équivalences plus intéressants découlant de l’isomorphisme de Curry-Howard ?
el 30 de Juillet, 2010 35 votes
Tags préférés
- 1 x functional-programming
- 1 x curry-howard
- 1 x formal-methods