La notion d'indéfini en lambda calcul
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. Introduite en 1975 par Jacopini, elle fait depuis l'objet de recherches qui visent à...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00415825 http://tel.archives-ouvertes.fr/docs/00/41/58/25/PDF/these_full.pdf |