Accueil Publimath  Aide à la recherche  Requête : "langage Unlambda"
Certification IDDN Valid HTML 4.01 Transitional

  dans Afficher les fiches par  
1 fiche trouvée

12019 Quadrature. N° 113. p. 22-34. Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire, avec des applications en linguistique mathématique. Ressource en ligne