Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (54)
  • Nancy 1 (9)
  • Chambéry (8)
  • Nice (8)
  • Sorbonne Paris Cité (8)
  • Palaiseau, Ecole polytechnique (7)
  • Aix-Marseille 2 (6)
  • Lyon, École normale supérieure (6)
  • Paris 11 (6)
  • Bordeaux (5)
  • Université de Lorraine (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • Grenoble (4)
  • Grenoble Alpes (4)
  • Aix-Marseille (3)
  • Bordeaux 1 (3)
  • Paris, CNAM (3)
  • Rennes 1 (3)
  • Toulouse 3 (3)
  • Lille 1 (2)
  • Paris 6 (2)
  • Paris, ENMP (2)
  • Università degli studi (Bologne, Italie) (2)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (2)
  • Caen (1)
  • Clermont-Ferrand 2 (1)
  • Grenoble INPG (1)
  • La Réunion (1)
  • Limoges (1)
  • Lorient (1)
  • Lyon, Ecole normale supérieure (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Marne-la-vallée, ENPC (1)
  • Montpellier 2 (1)
  • Nantes (1)
  • Orléans (1)
  • Paris 1 (1)
  • Paris 13 (1)
  • Paris 4 (1)
  • Paris 8 (1)
  • Paris Saclay (1)
  • Paris, EHESS (1)
  • Strasbourg (1)
  • Toulouse, INPT (1)
  • UNIVERSITE DE TURIN (1)
  • Universidad de Buenos Aires (1)
  • Università Ca'Foscari Venezia (1)
  • Università degli studi (Turin, Italie) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Torino - ITALIE (1)
  • Université libre de Bruxelles (1970-....) (1)
  • Versailles-St Quentin en Yvelines (1)
  • Warsaw, Uniwersytet Warszawski (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (98)
  • Sciences appliquées (23)
  • Mathématiques (16)
  • Mathématiques. Logique et fondements de l'informatique (5)
  • Sciences et techniques (5)
  • Informatique et mathématiques (4)
  • Informatique fondamentale (2)
  • Logique mathématique (2)
  • Mathématiques discrètes et fondements de l'informatique (2)
  • Mathématiques et Informatique (2)
  • Astrophysique relativiste (1)
  • Doctorat informatique (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Intelligence artificielle (1)
  • Logique et fondements de l'informatique (1)
  • Logique mathématique et fondements de l'informatique (1)
  • Mathematiques (1)
  • Mathématiques et ses applications (1)
  • Mathématiques. Informatique (1)
  • Morphologie mathématique (1)
  • Philosophie (1)
  • Sciences de l'éducation (1)
  • Sciences du langage (1)
  • Sciences et techniques communes (1)
  • Sciences. Informatique (1)
  • Sciences. Mathématiques. Informatique (1)
  • Stic (1)
  • Études grecques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (7)
  • École doctorale en Informatique et Mathématiques de Lyon (7)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (7)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (5)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (5)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (3)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (2)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Sciences fondamentales et appliquées (Nice) (2)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (1)
  • IAEM Lorraine (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale Humanités (Strasbourg ; 2009-....) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mondes anciens et médiévaux (Paris) (1)
  • École doctorale Philosophie (Paris) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (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 (Orsay, Essonne) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (129)
  • anglais (45)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Curien Pierre-Louis (10)
  • Krivine Jean-Louis (8)
  • David René (7)
  • Kesner Delia (7)
  • Berline Chantal (6)
  • Groote Philippe de (5)
  • Kirchner Claude (5)
  • Régnier Laurent (5)
  • Baillot Patrick (4)
  • Bucciarelli Antonio (4)
  • Ehrhard Thomas (4)
  • Girard Jean-Yves (4)
  • Herbelin Hugo (4)
  • Huet Gérard (4)
  • Lescanne Pierre (4)
  • Nour Karim (4)
  • Retoré Christian (4)
  • Hirschkoff Daniel (3)
  • Lévy Jean-Jacques (3)
  • Miquel Alexandre (3)
  • Ronchi Della Rocca Simona (3)
  • Salibra Antonino (3)
  • Bertot Yves (2)
  • Blanqui Frédéric (2)
  • Di Cosmo Roberto (2)
  • Dubois Catherine (2)
  • Guerrini Stefano (2)
  • Jouannaud Jean-Pierre (2)
  • Marion Jean-Yves (2)
  • Salvati Sylvain (2)
  • Sangiorgi Davide (2)
  • Amadio Roberto (1)
  • Amblard Maxime (1)
  • Arrighi Pablo (1)
  • BOUDOL GERARD (1)
  • Balat Vincent (1)
  • Bassac Christian (1)
  • Bellynck Valérie (1)
  • Bidoit Michel (1)
  • Bilodeau Michel (1)
  • Blackburn Patrick (1)
  • Blazy Sandrine (1)
  • Boitet Christian (1)
  • Boizumault Patrice (1)
  • Borillo Mario (1)
  • Boudol Gérard (1)
  • CQUAND THIERRY (1)
  • Caferra Ricardo (1)
  • Castagna Giuseppe (1)
  • Cichon Eugeniusz-Adam (1)
  • Clément Lionel (1)
  • Colmerauer Alain (1)
  • Colson Loïc (1)
  • Corbineau Pierre (1)
  • Cot Norbert (1)
  • Courcelle Bruno (1)
  • Danos Vincent (1)
  • Delahaye Jean-Paul (1)
  • Dowek Gilles (1)
  • Duchier Denys (1)
  • Durand Irène (1)
  • Dömösi Pal (1)
  • Enjalbert P. (1)
  • FRANCHI-ZANNETTACCI (1)
  • Fernandez Maribel (1)
  • Filiot Emmanuel (1)
  • Filliâtre Jean-Christophe (1)
  • Florin Gérard (1)
  • Freitas Pacheco José Antonio de (1)
  • Gaio Mauro (1)
  • Galligo André (1)
  • Gauwin Olivier (1)
  • Genet Thomas (1)
  • HARDIN THERESE (1)
  • Hadj Kacem Ahmed (1)
  • Hirschowitz André (1)
  • Hirschowitz Tom (1)
  • Huneman Philippe (1)
  • Hyvernat Pierre (1)
  • Jacob Gérard (1)
  • Jouvelot Pierre (1)
  • Jurie Frédéric (1)
  • Kahn Gilles (1)
  • LE METAYER D. (1)
  • Lafont Yves (1)
  • Lakhnech Yassine (1)
  • Lalanda Philippe (1)
  • Lamberterie Charles de (1)
  • Lanet Jean-Louis (1)
  • Lavenier Dominique (1)
  • Libourel Thérèse (1)
  • Longo Giuseppe (1)
  • Marchand Pierre (1)
  • Marquet Pascal (1)
  • Marteau Pierre-François (1)
  • Martin Philippe (1)
  • Martini Simone (1)
  • Maurice Pierre (1)
  • Mazza Damiano (1)
  • Melliès Paul-André (1)
  • Mezghiche Mohamed (1)
  • Mokkadem Abdelkader (1)
  • Monin Jean-François (1)
  • Morange Michel (1)
  • Mosbah Mohamed (1)
  • Nigay Laurence (1)
  • PERRIN D. (1)
  • Pagani Michele (1)
  • Palamidessi Catuscia (1)
  • Paulin-Mohring Christine (1)
  • Pogodalla Sylvain (1)
  • Puel Laurence (1)
  • Raffalli Christophe (1)
  • Rios Alejandros (1)
  • Roversi Luca (1)
  • Régis-Gianas Yann (1)
  • Rémy Didier (1)
  • SAINT JAMES EMMANUEL (1)
  • Sallé Patrick (1)
  • Senizergues Géraud (1)
  • Serre Olivier (1)
  • Signorini Jacqueline (1)
  • Soloviev Sergei (1)
  • Soutif Eric (1)
  • Strassburger Lutz (1)
  • Stratulat Sorin (1)
  • Tamba Irène (1)
  • Tiuryn Jerzy (1)
  • Tortora de Falco Lorenzo (1)
  • Vaux Lionel (1)
  • Vauzeilles Jacqueline (1)
  • Villaneau Jeanne (1)
  • Vuillon Laurent (1)
  • Werner Benjamin (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (116)
  • Mathématiques (36)
  • Sciences de l'ingénieur (28)
  • Informatique, information, généralités (7)
  • Technologie (Sciences appliquées) (6)
  • Logique (5)
  • Sciences de la nature et mathématiques (5)
  • Langues et linguistique (3)
  • Philosophie, psychologie (1)
  • Epistémologie, causalité, genre humain (1)
  • Education et enseignement (1)
  • Linguistique générale (1)
  • Langues helléniques. Grec classique (1)
  • Astronomie, cartographie, géodésie (1)

Domaines :

Fullscreen

177 thèses pour Lambda-calcul

Mathématiques

Soutenue en 1992
thèse soutenue
Informatique

Soutenue en 2008
thèse soutenue
Informatique

Soutenue en 1993
thèse soutenue

Semantique du lambda calcul avec ressources

par CAROLINA LAVATELLI sous la direction de Pierre-Louis Curien - Paris 7

Sciences appliquées

Soutenue en 1996
thèse soutenue

Un lambda-calcul intuitionniste avec exceptions

par GEORGES MOUNIER sous la direction de René David - Chambéry

Sciences appliquées

Soutenue en 1999
thèse soutenue
Informatique et mathématiques

Soutenue en 2005
thèse soutenue

Résultats 1 à 10