La notion d'indéfini en lambda-calcul

TEL :: [tel-00370440, version 1]
http://tel.archives-ouvertes.fr/tel-00370440/en/
La facilité compte parmi les notions les plus fines de l'indéfini en λ-calcul. Un terme est dit facile s'il peut être identifié à tout autre terme clos arbitraire sans soulever de contradiction. Introduite en 1975 par Jacopini, elle fait depuis l'objet de recherches qui visent à caractériser la forme des termes faciles.
...