comment on écrit une fonction en Caml qui réduit les CL-termes de la lambda calcul (la forme normale)
Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter
Caml et lambda calcul
comment on écrit une fonction en Caml qui réduit les CL-termes de la lambda calcul (la forme normale)
Répondre avec citation
Partager