Université Lille1 - Sciences et Technologies Objets infinis calculables Calculable infinite objects 511.3 Langages de programmation Lambda-calcul Infini Fonctions calculables Text Electronic Thesis or Dissertation fr Rappel des définitions et propriétés relatives aux CPO (Complete Partial Order) et à leur topologie, plus particulièrement aux CPO infinitaire. Définition d'une ultramétrique sur ces CPO infinitaire, associée à une énumération de la base finitaire. Résultats sur cette ultramétrique, extension aux espaces de fonctions continues. Définition de la notion de base effective, deux façons de construire à partir d'une telle base les éléments infinitaires calculables. Rappels de la définition des domaines calculables, des travaux relatifs aux espaces métriques récursifs. On montre que les limites de suites de Cauchy affectives correspondent aux éléments décidables des domaines calculables. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1982/50376-1982-131.pdf Comyn Gérard 1900-01-01 083303618 1982-01-01 Mathématiques Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Nivat Maurice 027048578 ddc:510 ASCII PDF 9999