Telecharger Cours

Une preuve simple de résultats classiques en lambda-calcul - CORE

Chapron propose un creusement an- térieur à 35000 ans, accompagné des dépôts des unités 1 et 2. La récurrence isé- roise serait peu antérieure à 15 000 ans BP. ...



Download