Une extension de la theorie des types en λ-calcul

@inproceedings{Sale1978UneED,
  title={Une extension de la theorie des types en λ-calcul},
  author={Patrick Sale},
  booktitle={ICALP},
  year={1978}
}
Nous proposons tout d'abord une th~orie qui permet l ' a f f ec ta t i on d'un type des expressions sans forme normale (14). Nous montrons dans cette th~orie qu'une expression admettant un type poss6de suivant la valeur de ce type une forme normale ou une forme normale gauche. Ensuite nous ~tendons cette th~orie en affectant ~ chaque expression un ensemble f i n i de types. Cette extension rend possible l ' a f fec ta t ion d'un type s i g n i f i c a t i f ~ toutes les expressions solvables… CONTINUE READING

Similar Papers

Loading similar papers…