Date(s) : 09/07/2014 iCal
11 h 00 min - 12 h 00 min
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