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