Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (14)
  • Paris 11 (11)
  • Sorbonne Paris Cité (10)
  • Nice (6)
  • Palaiseau, Ecole polytechnique (5)
  • Toulouse 3 (5)
  • Université de Paris (2019-....) (4)
  • Nancy 1 (3)
  • Université Savoie Mont Blanc (3)
  • Grenoble (2)
  • Nantes, Ecole des Mines (2)
  • Paris 1 (2)
  • Paris Saclay (2)
  • Paris, ENMP (2)
  • Université de Lorraine (2)
  • École normale supérieure (Lyon) (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)
  • Grenoble Alpes (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)
  • Toulouse, ISAE (1)
  • Tsinghua University (Pékin) (1)
  • Universidad de la República (Montevideo) (1)
  • Universiteit Leiden (Leyde, Pays-Bas) (1)
  • Université Louis Pasteur (Strasbourg) (1)
  • Université Marc Bloch (Strasbourg) (1)
  • Université Paris-Saclay (ComUE) (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • Versailles-St Quentin en Yvelines (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (56)
  • Mathématiques (5)
  • Sciences appliquées (5)
  • Philosophie (4)
  • Informatique et applications (2)
  • Informatique. Informatique fondamentale (2)
  • Mathématiques fondamentales (2)
  • Mathématiques. Logique et fondements de l'informatique (2)
  • Informatique appliquée (1)
  • Informatique fondamentale (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)
  • 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) (8)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (4)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • É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 et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (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 de Sciences du Langage (Paris) (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 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 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 (60)
  • anglais (30)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Herbelin Hugo (7)
  • Paulin-Mohring Christine (6)
  • Bertot Yves (4)
  • Huet Gérard (4)
  • Dowek Gilles (3)
  • Jouannaud Jean-Pierre (3)
  • Kirchner Claude (3)
  • Lescanne Pierre (3)
  • Miquel Alexandre (3)
  • Soloviev Sergei (3)
  • Tabareau Nicolas (3)
  • Blanqui Frédéric (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)
  • Baillot Patrick (1)
  • Barras Bruno (1)
  • Bassac Christian (1)
  • Berger Clemens (1)
  • Blackburn Patrick (1)
  • Blondel Corinne (1)
  • Bodeveix Jean-Paul (1)
  • Bougé Luc (1)
  • Bouveresse Jacques (1)
  • Castagna Giuseppe (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)
  • 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)
  • Lévy Jean-Jacques (1)
  • Marché Claude (1)
  • Mathai Varghese (1)
  • Mazza Damiano (1)
  • Mellies Paul-andre (1)
  • Melliès Paul-André (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)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (67)
  • Mathématiques (17)
  • 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

98 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