Skip to Main content Skip to Navigation
New interface


...
tel-00006863v1  Theses
Yves Guiraud. Présentations d'opérades et systèmes de réécriture
Autre [cs.OH]. Université Montpellier II - Sciences et Techniques du Languedoc, 2004. Français. ⟨NNT : ⟩
...
tel-00697408v1  Theses
Fabien Renaud. Les ressources explicites vues par la théorie de la réécriture.
Théorie et langage formel [cs.FL]. Université Paris-Diderot - Paris VII, 2011. Français. ⟨NNT : ⟩
...
pastel-00001952v1  Theses
François-Régis Sinot. Stratégies Efficaces et Modèles d'Implantation pour les Langages Fonctionnels.
Informatique et langage [cs.CL]. Ecole Polytechnique X, 2006. Français
...
tel-01099657v1  Theses
Alexis Bernadet. Types intersections non-idempotents pour raffiner la normalisation forte avec des informations quantitatives
Langage de programmation [cs.PL]. Ecole Doctorale Polytechnique, 2014. Français
...
tel-01232508v1  Theses
Romain Cyril Kervarc. Systèmes de types purs et substitutions explicites
Logique en informatique [cs.LO]. École normale supérieure de Lyon, 2007. Français
...
tel-00007962v1  Theses
Emmanuel Polonovski. Subsitutions explicites, logique et normalisation
Modélisation et simulation. Université Paris-Diderot - Paris VII, 2004. Français. ⟨NNT : ⟩
...
tel-03415346v1  Theses
Pablo Barenbaum. Dynamic Semantics of Calculi with Explicit Substitutions at a Distance
Logic in Computer Science [cs.LO]. Universidad de Buenos Aires, 2020. English