Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (55)
  • Nancy 1 (13)
  • Sorbonne Paris Cité (11)
  • Chambéry (8)
  • Nice (8)
  • Aix-Marseille 2 (7)
  • Palaiseau, Ecole polytechnique (7)
  • Lyon, École normale supérieure (6)
  • Paris 11 (6)
  • Université de Lorraine (6)
  • Aix-Marseille (5)
  • Bordeaux (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • Grenoble (4)
  • Université Grenoble Alpes (ComUE) (4)
  • Bordeaux 1 (3)
  • Orléans (3)
  • Paris 6 (3)
  • Paris, CNAM (3)
  • Rennes 1 (3)
  • Toulouse 3 (3)
  • Institut polytechnique de Paris (2)
  • Lille 1 (2)
  • Paris 1 (2)
  • Paris 13 (2)
  • Paris, ENMP (2)
  • Università degli studi (Bologne, Italie) (2)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (2)
  • Université Paris-Saclay (ComUE) (2)
  • Cachan, Ecole normale supérieure (1)
  • Caen (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Clermont-Ferrand 2 (1)
  • Grenoble Alpes (1)
  • Grenoble INPG (1)
  • La Réunion (1)
  • Limoges (1)
  • Lorient (1)
  • Lyon (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)
  • Paris 8 (1)
  • Paris Est (1)
  • Paris, EHESS (1)
  • Pau (1)
  • Strasbourg (1)
  • Toulouse, INPT (1)
  • Università Ca'Foscari Venezia (1)
  • Università degli studi (Gênes, Italie) (1)
  • Università degli studi (Turin, Italie) (1)
  • Université Côte d'Azur (ComUE) (1)
  • Université Grenoble Alpes (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université de Buenos Aires (1)
  • Université de Paris (2019-....) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Torino - ITALIE (1)
  • Université de la Manouba (Tunisie) (1)
  • Université libre de Bruxelles (1970-....) (1)
  • Versailles-St Quentin en Yvelines (1)
  • Warsaw, Uniwersytet Warszawski (1)
  • université Paris-Saclay (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (109)
  • Sciences appliquées (23)
  • Mathématiques (18)
  • Mathématiques. Logique et fondements de l'informatique (7)
  • Sciences et techniques (5)
  • Informatique et mathématiques (4)
  • Mathématiques discrètes et fondements de l'informatique (3)
  • Informatique fondamentale (2)
  • Informatique, données, IA (2)
  • InformatiqueInformatique (2)
  • Logique mathématique (2)
  • Mathematiques (2)
  • Mathématiques et Informatique (2)
  • Philosophie (2)
  • Sciences de l'éducation (2)
  • Astrophysique relativiste (1)
  • Doctorat informatique (1)
  • Doctorat uhp informatique (1)
  • Energétique, thermique, combustion (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Informatique. Informatique fondamentale (1)
  • Intelligence artificielle (1)
  • Logique et fondements de l'informatique (1)
  • Logique mathématique et fondements de l'informatique (1)
  • Mathématiques et ses applications (1)
  • Mathématiques. Informatique (1)
  • Morphologie mathématique (1)
  • STIC Informatique (1)
  • Sciences de l'information et de la communication (1)
  • Sciences du langage (1)
  • Sciences et techniques communes (1)
  • Sciences. Informatique (1)
  • Sciences. Mathématiques. Informatique (1)
  • Stic (1)
  • informatique fondamentale (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (10)
  • É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 mathématiques et informatique (Talence, Gironde) (6)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (4)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (4)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (4)
  • École doctorale Informatique, télécommunications et électronique de Paris (3)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (3)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (3)
  • IAEM Lorraine (2)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (2)
  • École doctorale Philosophie (Paris) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Sciences fondamentales et appliquées (Nice) (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris2000-....) (2)
  • École doctorale de l'Institut polytechnique de Paris (2)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (1)
  • Ecole doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • Mathématiques et informatique de Marseille (184) (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale Humanités (Strasbourg ; 2009-....) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique et Aéronautique (Poitiers ; 2009-2018) (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 de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris ; 1994-2019) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (147)
  • anglais (51)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Curien Pierre-Louis (11)
  • Krivine Jean-Louis (8)
  • David René (7)
  • Kesner Delia (7)
  • Kirchner Claude (7)
  • Berline Chantal (6)
  • Régnier Laurent (6)
  • Bucciarelli Antonio (5)
  • Ehrhard Thomas (5)
  • Groote Philippe de (5)
  • Baillot Patrick (4)
  • Girard Jean-Yves (4)
  • Guerrini Stefano (4)
  • Herbelin Hugo (4)
  • Huet Gérard (4)
  • Lescanne Pierre (4)
  • Nour Karim (4)
  • Retoré Christian (4)
  • Dubois Catherine (3)
  • Hirschkoff Daniel (3)
  • Lévy Jean-Jacques (3)
  • Marion Jean-Yves (3)
  • Miquel Alexandre (3)
  • Ronchi Della Rocca Simona (3)
  • Salibra Antonino (3)
  • Bertot Yves (2)
  • Blanqui Frédéric (2)
  • Boudol Gérard (2)
  • Castagna Giuseppe (2)
  • Coquand Thierry (2)
  • Di Cosmo Roberto (2)
  • Duchier Denys (2)
  • Jouannaud Jean-Pierre (2)
  • Mazza Damiano (2)
  • Salvati Sylvain (2)
  • Sangiorgi Davide (2)
  • Strassburger Lutz (2)
  • Vaux Lionel (2)
  • Accart Hardin Thérèse (1)
  • Accattoli Beniamino (1)
  • Amadio Roberto (1)
  • Amblard Maxime (1)
  • Arrighi Pablo (1)
  • Balat Vincent (1)
  • Baron Georges-Louis (1)
  • Bassac Christian (1)
  • Bellenoue Marc (1)
  • Bellynck Valérie (1)
  • Ben Othmane Zribi Chiraz (1)
  • Bidoit Michel (1)
  • Bilodeau Michel (1)
  • Blackburn Patrick (1)
  • Blanqui Fréderic (1)
  • Blazy Sandrine (1)
  • Bloch Isabelle (1)
  • Boitet Christian (1)
  • Boizumault Patrice (1)
  • Bolon Philippe (1)
  • Borillo Mario (1)
  • Boust Bastien (1)
  • Béal Marie-Pierre (1)
  • Caferra Ricardo (1)
  • Chailloux Emmanuel (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)
  • Dapoigny Richard (1)
  • Delahaye Jean-Paul (1)
  • Dowek Gilles (1)
  • Durand Irène (1)
  • Dömösi Pál (1)
  • Enjalbert P. (1)
  • Fernandez Maribel (1)
  • Filiot Emmanuel (1)
  • Filliâtre Jean-Christophe (1)
  • Florin Gérard (1)
  • Franchi-Zannettacci Paul (1)
  • Freitas Pacheco José Antonio de (1)
  • Gaio Mauro (1)
  • Galligo André (1)
  • Galmiche Didier (1)
  • Gardent Claire (1)
  • Gauwin Olivier (1)
  • Genet Thomas (1)
  • Gibel Patrick (1)
  • Hadj Kacem Ahmed (1)
  • Hirschowitz André (1)
  • Hirschowitz Tom (1)
  • Hoyrup Mathieu (1)
  • Huneman Philippe (1)
  • Hyvernat Pierre (1)
  • Jacob Gérard (1)
  • Jensen Thomas (1)
  • Jouvelot Pierre (1)
  • Jurie Frédéric (1)
  • Kahn Gilles (1)
  • Kistler Max (1)
  • Lafont Yves (1)
  • Lakhnech Yassine (1)
  • Lalanda Philippe (1)
  • Lanet Jean-Louis (1)
  • Lavenier Dominique (1)
  • Le Métayer Daniel (1)
  • Libourel Thérèse (1)
  • Liquori Luigi (1)
  • Longo Giuseppe (1)
  • Lévi Laurent (1)
  • Marchand Pierre (1)
  • Marquet Pascal (1)
  • Marteau Pierre-François (1)
  • Martin Philippe (1)
  • Martini Simone (1)
  • Mauny Michel (1)
  • Maurice Pierre (1)
  • Melliès Paul-André (1)
  • Mezghiche Mohamed (1)
  • Miller Dale (1)
  • Mokkadem Abdelkader (1)
  • Monin Jean-François (1)
  • Morange Michel (1)
  • Moreau Pierre-Etienne (1)
  • Mosbah Mohamed (1)
  • Nigay Laurence (1)
  • Ollinger Nicolas (1)
  • PERRIN D. (1)
  • Palamidessi Catuscia (1)
  • Paulin-Mohring Christine (1)
  • Pogodalla Sylvain (1)
  • Puel Laurence (1)
  • Raffalli Christophe (1)
  • Regnier Laurent (1)
  • Rios Alejandros (1)
  • Robert Pascal (1)
  • Régis-Gianas Yann (1)
  • Rémy Didier (1)
  • Sablik Mathieu (1)
  • Saint-James Emmanuel (1)
  • Sallé Patrick (1)
  • Senizergues Géraud (1)
  • Serre Olivier (1)
  • Signorini Jacqueline (1)
  • Soloviev Sergei (1)
  • Soutif Eric (1)
  • Stratulat Sorin (1)
  • Tamba Irène (1)
  • Tasson Christine (1)
  • Tiuryn Jerzy (1)
  • Tortora de Falco Lorenzo (1)
  • Tortora de falco Lorenzo (1)
  • Vauzeilles Jacqueline (1)
  • Villaneau Jeanne (1)
  • Vuillon Laurent (1)
  • Werner Benjamin (1)
  • Zucca Elena (1)
  • ‎Pagani‎ Michèle (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (135)
  • Mathématiques (42)
  • Sciences de l'ingénieur (30)
  • Informatique, information, généralités (8)
  • Technologie (Sciences appliquées) (6)
  • Logique (5)
  • Sciences de la nature et mathématiques (5)
  • Langues et linguistique (3)
  • Philosophie, psychologie (2)
  • Epistémologie, causalité, genre humain (2)
  • Education et enseignement (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Linguistique générale (1)
  • Astronomie, cartographie, géodésie (1)

Domaines :

Fullscreen

205 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