Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (5)
  • Paris 11 (4)
  • Sorbonne Paris Cité (4)
  • Palaiseau, Ecole polytechnique (3)
  • Toulouse 3 (3)
  • Aix-Marseille 1 (2)
  • Paris 6 (2)
  • Paris, ENMP (2)
  • Aix-Marseille 2 (1)
  • Chambéry (1)
  • Grenoble (1)
  • Lyon, École normale supérieure (1)
  • Nantes, Ecole des Mines (1)
  • Nice (1)
  • Tsinghua University (Pékin) (1)
  • Universidad de la República (Montevideo) (1)
  • Université Côte d'Azur (ComUE) (1)
  • Université Paris-Saclay (ComUE) (1)
  • Université de Lorraine (1)
  • Université de Paris (2019-....) (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • université Paris-Saclay (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (23)
  • Sciences appliquées (4)
  • Informatique, temps réel, robotique et automatique (2)
  • Sciences et techniques (2)
  • Information. Mathématiques et logique (1)
  • Informatique et applications (1)
  • Informatique et mathématiques (1)
  • Informatique. Informatique fondamentale (1)
  • Informatique. Informatique théorique (1)
  • Sciences et techniques communes (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (23)
  • anglais (12)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Herbelin Hugo (5)
  • Dowek Gilles (3)
  • Huet Gérard (3)
  • Paulin-Mohring Christine (3)
  • Accart Hardin Thérèse (2)
  • Miquel Alexandre (2)
  • Amadio Roberto (1)
  • Baillot Patrick (1)
  • Barras Bruno (1)
  • Barthe Gilles (1)
  • Berger Clemens (1)
  • Blanc Georges (1)
  • Blanqui Frédéric (1)
  • Bodeveix Jean-Paul (1)
  • Boldo Sylvie (1)
  • Boudol Gérard (1)
  • Castagna Giuseppe (1)
  • Coupet-Grimal Solange (1)
  • Dapoigny Richard (1)
  • Filali Mamoun (1)
  • Galligo André (1)
  • Hermant Olivier (1)
  • Jouannaud Jean-Pierre (1)
  • Jouvelot Pierre (1)
  • Lescanne Pierre (1)
  • Liquori Luigi (1)
  • Longo Giuseppe (1)
  • Maurice Pierre (1)
  • Mellies Paul-andre (1)
  • Melliès Paul-André (1)
  • Melquiond Guillaume (1)
  • Merz Stephan (1)
  • Pous Damien (1)
  • Roche Christophe (1)
  • Régis-Gianas Yann (1)
  • Soloviev Sergei (1)
  • Stefani Jean-Bernard (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (28)
  • Mathématiques (5)
  • Sciences de l'ingénieur (4)
  • Sciences de la nature et mathématiques (3)
  • Technologie (Sciences appliquées) (3)
  • Informatique, information, généralités (2)

Domaines :

Fullscreen

37 thèses pour "Types dépendants"

Informatique. Informatique théorique

Soutenue le 07-12-2018
thèse soutenue

....iiiRésuméVers une algèbre homotopiqe des types dépendantsCette thèse est consacrée à l’étude des interactions entre...

Accéder en ligne

Théorie des types dépendants et algèbre de dimension supérieure.

par Chaitanya Leena subramaniam sous la direction de Paul-andre Mellies et de Gilles Dowek. - Université de Paris (2019-....)

Informatique

En préparation depuis le 19-07-2017
 thèse en cours de préparation
Information. Mathématiques et logique

Soutenue en 1992
thèse soutenue

...Une théorie mécanisée des arbres réguliersen théorie des types dépendantsJURYTarmo Uustalu Professeur des...

Accéder en ligne

Résultats 1 à 10