La notion d'indéfini en lambda calcul

TEL :: [tel-00415825, version 1]
http://tel.archives-ouvertes.fr/tel-00415825/en/
La facilité compte parmi les notions les plus fines de l'indéfini en lambda-calcul. Un terme est dit facile s'il peut être identifié à tout autre terme clos arbitraire sans soulever de contradiction.
...