2La chaleur
1Répondre
Séquence Thue-Morse dans une ligne de Haskell
2La chaleur
1Répondre
Comment modéliser la sortie du calcul lambda binaire?
1La chaleur
1Répondre
Existe-t-il une grammaire LL (k) pour PCF?
4La chaleur
1Répondre
Est-ce que Unbound doit toujours être dans une monade `FreshM`?
3La chaleur
2Répondre
0La chaleur
1Répondre
0La chaleur
1Répondre
Différence entre la réduction bêta et la réduction bêta en une étape?
2La chaleur
1Répondre
2La chaleur
1Répondre
calcul Lambda (SML) - Appliquer un numéro d'église à l'autre