Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (14)
  • Sorbonne Paris Cité (13)
  • Paris 11 (11)
  • Nice (6)
  • Palaiseau, Ecole polytechnique (5)
  • Toulouse 3 (5)
  • Nancy 1 (4)
  • Université de Paris (2019-....) (4)
  • Chambéry (3)
  • université Paris-Saclay (3)
  • Grenoble (2)
  • Lyon, École normale supérieure (sciences) (2)
  • Nantes, Ecole des Mines (2)
  • Paris 1 (2)
  • Paris, ENMP (2)
  • Université de Lorraine (2)
  • Aix-Marseille 1 (1)
  • Aix-Marseille 2 (1)
  • Bordeaux 1 (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Institut polytechnique de Paris (1)
  • La Réunion (1)
  • Lille 3 (1)
  • Lyon (1)
  • Lyon, Ecole normale supérieure (1)
  • Lyon, INSA (1)
  • Lyon, École normale supérieure (1)
  • Montpellier 3 (1)
  • Nantes (1)
  • Paris 6 (1)
  • Paris 8 (1)
  • Paris, CNAM (1)
  • Paris, EHESS (1)
  • Poitiers (1)
  • Strasbourg 1 (1)
  • Strasbourg 2 (1)
  • Toulouse, ISAE (1)
  • Tsinghua University (Pékin) (1)
  • Universidad de la República (Montevideo) (1)
  • Universiteit Leiden (Leyde, Pays-Bas) (1)
  • Università degli studi (Gênes, Italie) (1)
  • Université Côte d'Azur (ComUE) (1)
  • Université Grenoble Alpes (ComUE) (1)
  • Université Paris-Saclay (ComUE) (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • Versailles-St Quentin en Yvelines (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (59)
  • Mathématiques (7)
  • Sciences appliquées (5)
  • Philosophie (4)
  • Informatique. Informatique fondamentale (3)
  • Informatique et applications (2)
  • Mathématiques fondamentales (2)
  • Mathématiques. Logique et fondements de l'informatique (2)
  • Informatique appliquée (1)
  • Informatique fondamentale (1)
  • Informatique, données, IA (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Informatique. Informatique théorique (1)
  • Logique mathématique (1)
  • Mathematiques (1)
  • Mathématiques appliquées (1)
  • Mathématiques discrètes et fondements de l'informatique (1)
  • Mathématiques. Informatique (1)
  • Mathématiques. Mathématiques fondamentales (1)
  • Philosophie (métaphysique, épistémologie, esthétique) (1)
  • Philosophie - Etude des systèmes (1)
  • Réseaux, télécom, système et architecture (1)
  • Sciences de l'education (1)
  • Sciences des religions (1)
  • Sciences du langage - linguistique. Sémantique formelle (1)
  • Sciences et génie des matériaux (1)
  • Sciences et techniques (1)
  • Sciences et techniques communes (1)
  • Sciences et techniques. Sciences et techniques communes (1)
  • informatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (9)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (4)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • É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) (2)
  • Ecole Doctorale Cognition, Langage et Education (Aix-en-Provence) (1)
  • Ecole Doctorale Informatique et Information Pour La Societe. 1992-2009 (Lyon) (1)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Ecole doctorale Mathématiques de la région Paris-Sud (1992-2015 ; Orsay) (1)
  • Ecole doctorale sciences et technologies de Versailles (2010-2015) (1)
  • IAEM Lorraine (1)
  • Informatique, Automatique, Electronique-Electrotechnique, Mathématiques (1)
  • MathSTIC (Nantes) (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences du langage (Paris ; 1992-2019) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)
  • École doctorale Sciences sociales (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale de philosophie (Lyon) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (61)
  • anglais (35)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Herbelin Hugo (7)
  • Paulin-Mohring Christine (6)
  • Bertot Yves (4)
  • Dowek Gilles (4)
  • Huet Gérard (4)
  • Kirchner Claude (4)
  • Jouannaud Jean-Pierre (3)
  • Lescanne Pierre (3)
  • Miquel Alexandre (3)
  • Soloviev Sergei (3)
  • Tabareau Nicolas (3)
  • Blanqui Frédéric (2)
  • Castagna Giuseppe (2)
  • David René (2)
  • Ehrhard Thomas (2)
  • Henniart Guy (2)
  • Kesner Delia (2)
  • Pottier François (2)
  • Régis-Gianas Yann (2)
  • Werner Benjamin (2)
  • Amadio Roberto (1)
  • Amblard Maxime (1)
  • Arrighi Pablo (1)
  • Aubert Anne-Marie (1)
  • Baillot Patrick (1)
  • Barras Bruno (1)
  • Bassac Christian (1)
  • Bennequin Daniel (1)
  • Berger Clemens (1)
  • Blackburn Patrick (1)
  • Blondel Corinne (1)
  • Bodeveix Jean-Paul (1)
  • Bougé Luc (1)
  • Bouveresse Jacques (1)
  • Broussous Paul (1)
  • Clémentz François (1)
  • Coquand Thierry (1)
  • Curien Pierre-Louis (1)
  • Curien Pierre-louis (1)
  • Dapoigny Richard (1)
  • De groote Philippe (1)
  • Delahaye David (1)
  • Delmas Rémi (1)
  • Desanti Jean-Toussaint (1)
  • Desclès Jean-Pierre (1)
  • Di Cosmo Roberto (1)
  • Dubois Catherine (1)
  • Dufourd Jean-François (1)
  • Edixhoven Bas (1)
  • Filali Mamoun (1)
  • Finster Eric (1)
  • Frécon Louis (1)
  • Féraud Louis (1)
  • Ginzburg Jonathan (1)
  • Guerrini Stefano (1)
  • Hermant Olivier (1)
  • Hyvernat Pierre (1)
  • Jouvelot Pierre (1)
  • Kirchner Florent (1)
  • Le Grand Jean-Louis (1)
  • Leroy Xavier (1)
  • Liquori Luigi (1)
  • Lévy Jean-Jacques (1)
  • Marché Claude (1)
  • Mathai Varghese (1)
  • Matringe Nadir (1)
  • Mazza Damiano (1)
  • Mellies Paul-andre (1)
  • Melliès Paul-André (1)
  • Miller Dale (1)
  • Mimram Samuel (1)
  • Monin Jean-François (1)
  • Moreau Pierre-Etienne (1)
  • Nour Karim (1)
  • Pagetti Claire (1)
  • Pottier Loïc (1)
  • Pradeau Jean-François (1)
  • Quettier Pierre (1)
  • Raffalli Christophe (1)
  • Rahman Shahid (1)
  • Ralambondrainy Henri (1)
  • Retoré Christian (1)
  • Roche Christophe (1)
  • Roucairol Gérard (1)
  • Rémy Didier (1)
  • Sangiorgi Davide (1)
  • Secherre Vincent (1)
  • Simpson Carlos (1)
  • Sécherre Vincent (1)
  • Tinland Franck (1)
  • Toën Bertrand (1)
  • Trocmé Étienne (1)
  • Zucca Elena (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (72)
  • Mathématiques (20)
  • Sciences de l'ingénieur (6)
  • Philosophie, psychologie (5)
  • Informatique, information, généralités (3)
  • Technologie (Sciences appliquées) (3)
  • Sciences de la nature et mathématiques (2)
  • Epistémologie, causalité, genre humain (1)
  • Logique (1)
  • Religion (1)
  • Education et enseignement (1)
  • Linguistique générale (1)
  • Physique (1)

Domaines :

Fullscreen

106 thèses pour "Théorie des types"

Informatique et applications

Soutenue le 13-12-2016
thèse soutenue

...théorie des typesn’est pas facile, ces deux théories étant très différents. La théorie des types est plus...

Accéder en ligne
Informatique

Soutenue en 2004
thèse soutenue
Sciences et techniques communes

Soutenue en 2001
thèse soutenue

...types mais nous démontrons des théorèmes qui parlent de ce système. Nousétudions donc la théorie des...

Accéder en ligne

Résultats 1 à 10