Frank Atanassow 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
- 15 votes
Quelles sont les équivalences plus intéressants découlant de l’isomorphisme de Curry-Howard ?
el 17 de Juin, 2010 15 votes
Tags préférés
- 1 x formal-methods
- 1 x functional-programming
- 1 x curry-howard