Lambda-calcul et types : origines logiques, postérité computationnelle

Chargement Cliquez pour ajouter :
S'abonner aux notifications

Si vous êtes abonné aux notifications, un e-mail vous sera envoyé pour toutes les annotations ajoutées.

Votre compte utilisateur n'a pas d'adresse e-mail.