La notion d'indéfini en lambda-calcul
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 à carac...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00370440 http://tel.archives-ouvertes.fr/docs/00/37/04/40/PDF/these_full.pdf |