Corpus ID: 38845529

Les ressources explicites vues par la théorie de la réécriture. (Explicit resources from the rewriting point of view)

@inproceedings{Renaud2011LesRE,
  title={Les ressources explicites vues par la th{\'e}orie de la r{\'e}{\'e}criture. (Explicit resources from the rewriting point of view)},
  author={Fabien Renaud},
  year={2011}
}
Cette these s'articule autour de la gestion de ressources explicites dans les langages fonctionnels, en mettant l'accent sur des proprietes de calculs avec substitutions explicites raffinant le lambda-calcul. Dans une premiere partie, on s'interesse a la propriete de preservation de la beta-normalisation forte (PSN) pour le calcul lambda s. Dans une seconde partie, on etudie la propriete de confluence pour un large ensemble de calculs avec substitutions explicites. Apres avoir donne une preuve… Expand
7 Citations

References

SHOWING 1-10 OF 57 REFERENCES
The Theory of Calculi with Explicit Substitutions Revisited
  • D. Kesner
  • Mathematics, Computer Science
  • CSL
  • 2007
Confluence and Superdevelopments
The fine-structure of lambda calculus
...
1
2
3
4
5
...