Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Régis Spadotti

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Régis Spadotti. Une théorie mécanisée des arbres réguliers en théorie des types dépendants. Thèse de doctorat, Université Paul Sabatier, mai 2016.
    BibTeX

  • Régis Spadotti. Une théorie mécanisée des arbres réguliers en théorie des types dépendants. Thèse de doctorat, Université Paul Sabatier, mai 2016.
    Résumé
    BibTeX