La dernière fois on a vu la fonction d'identité, cette fois ci on va parler de la fonction d'auto-application en λ calculus.

Commentaires

Vous devez vous inscrire ou vous connecter pour poster un commentaire