Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

La forte normalisabilité des λ-termes




Date(s) : 09/07/2014   iCal
11h00 - 12h00

La forte normalisabilité des λ-termes est caractérisée, à travers leur développement de Taylor, par une structure de finitude sur l’ensemble des termes avec ressources (et ça marche même sans uniformité).

Page web Lionel Vaux« >Page web Lionel Vaux

Catégories Pas de Catégories


Secured By miniOrange