grasevski est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
- 2 rep
Quel est l'équivalent combinatoire logique de la théorie de type intuitionniste?
el 14 de Novembre, 2018 86 votes
Dernières réponses
-
N'a rien répondu encore.
Tags préférés
- 1 x haskell
- 1 x agda
- 1 x logic
- 1 x functional-programming
- 1 x types