La forte normalisabilité des λ-termes

Carte non disponible

Date/heure
Date(s) - 09/07/2014
11 h 00 min - 12 h 00 min

Catégories Pas de Catégories


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


Retour en haut 

Secured By miniOrange