La forte normalisabilité des λ-termes




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



Retour en haut