Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Bertini, Yves"'
Autor:
Bertini, Yves
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
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00370440
http://tel.archives-ouvertes.fr/docs/00/37/04/40/PDF/these_full.pdf
http://tel.archives-ouvertes.fr/docs/00/37/04/40/PDF/these_full.pdf
