Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (54)
  • Nancy 1 (9)
  • Nice (8)
  • Université Savoie Mont Blanc (8)
  • Palaiseau, Ecole polytechnique (7)
  • Paris 11 (6)
  • Lyon, École normale supérieure (5)
  • Sorbonne Paris Cité (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • Aix-Marseille 2 (4)
  • Grenoble (4)
  • Université de Lorraine (4)
  • Aix-Marseille (3)
  • Bordeaux (3)
  • Bordeaux 1 (3)
  • Rennes 1 (3)
  • Toulouse 3 (3)
  • Aix Marseille 2 (2)
  • Lille 1 (2)
  • Paris 6 (2)
  • Paris Saclay (2)
  • Paris, ENMP (2)
  • Università degli studi (Bologne, Italie) (2)
  • Caen (1)
  • Clermont-Ferrand 2 (1)
  • Grenoble Alpes (1)
  • Grenoble INPG (1)
  • Lorient (1)
  • Lyon, Ecole normale supérieure (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Marne-la-vallée, ENPC (1)
  • Nantes (1)
  • Paris 13 (1)
  • Paris 8 (1)
  • Paris, CNAM (1)
  • Paris, EHESS (1)
  • Toulouse, INPT (1)
  • Università Ca'Foscari Venezia (1)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (1)
  • Università degli studi (Turin, Italie) (1)
  • Université de Buenos Aires (1)
  • Université de Torino - ITALIE (1)
  • Versailles-St Quentin en Yvelines (1)
  • Warsaw, Uniwersytet Warszawski (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (84)
  • 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)
  • 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)
  • Sciences du langage (1)
  • Sciences et techniques communes (1)
  • Sciences. Informatique (1)
  • Sciences. Mathématiques. Informatique (1)
  • Stic (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (6)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (6)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (5)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (4)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (2)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (1)
  • Ecole doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • IAEM Lorraine (1)
  • Mathématiques et informatique de Marseille (184) (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (117)
  • anglais (39)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Curien Pierre-Louis (10)
  • Krivine Jean-Louis (8)
  • Berline Chantal (6)
  • Kesner Delia (6)
  • Groote Philippe de (5)
  • Kirchner Claude (5)
  • Baillot Patrick (4)
  • Bucciarelli Antonio (4)
  • David René (4)
  • Ehrhard Thomas (4)
  • Girard Jean-Yves (4)
  • Herbelin Hugo (4)
  • Huet Gérard (4)
  • Lescanne Pierre (4)
  • Retoré Christian (4)
  • Régnier Laurent (4)
  • DAVID RENE (3)
  • Hirschkoff Daniel (3)
  • Lévy Jean-Jacques (3)
  • Nour Karim (3)
  • Ronchi Della Rocca Simona (3)
  • Salibra Antonino (3)
  • Bertot Yves (2)
  • Blanqui Frédéric (2)
  • Di Cosmo Roberto (2)
  • Jouannaud Jean-Pierre (2)
  • Miquel Alexandre (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)
  • Bidoit Michel (1)
  • Bilodeau Michel (1)
  • Blackburn Patrick (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)
  • Cot Norbert (1)
  • Courcelle Bruno (1)
  • Danos Vincent (1)
  • Delahaye Jean-Paul (1)
  • Dowek Gilles (1)
  • Durand Irène (1)
  • Dömösi Pal (1)
  • Enjalbert P. (1)
  • FRANCHI-ZANNETTACCI (1)
  • Fernandez Maribel (1)
  • Filliâtre Jean-Christophe (1)
  • Florin Gérard (1)
  • Freitas Pacheco José Antonio de (1)
  • Gaio Mauro (1)
  • Galligo André (1)
  • Genet Thomas (1)
  • Guerrini Stefano (1)
  • HARDIN THERESE (1)
  • Hirschowitz André (1)
  • Hirschowitz Tom (1)
  • Jacob Gérard (1)
  • Jouvelot Pierre (1)
  • Jurie Frédéric (1)
  • Kahn Gilles (1)
  • LE METAYER D. (1)
  • Lafont Yves (1)
  • Lalanda Philippe (1)
  • Lavenier Dominique (1)
  • Le Fessant Fabrice (1)
  • Longo Giuseppe (1)
  • Marchand Pierre (1)
  • Marion Jean-Yves (1)
  • Marteau Pierre-François (1)
  • Mauny Michel (1)
  • Maurice Pierre (1)
  • Melliès Paul-André (1)
  • Mokkadem Abdelkader (1)
  • Monin Jean-François (1)
  • Nigay Laurence (1)
  • PERRIN D. (1)
  • Palamidessi Catuscia (1)
  • Paulin-Mohring Christine (1)
  • Pogodalla Sylvain (1)
  • Puel Laurence (1)
  • Regnier Laurent (1)
  • Rios Alejandros (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)
  • Strassburger Lutz (1)
  • Stratulat Sorin (1)
  • Tamba Irène (1)
  • Tiuryn Jerzy (1)
  • Tortora de Falco Lorenzo (1)
  • Vauzeilles Jacqueline (1)
  • Villaneau Jeanne (1)
  • Vuillon Laurent (1)
  • Werner Benjamin (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (102)
  • Mathématiques (35)
  • Sciences de l'ingénieur (28)
  • Technologie (Sciences appliquées) (6)
  • Informatique, information, généralités (5)
  • Logique (5)
  • Sciences de la nature et mathématiques (5)
  • Langues et linguistique (3)
  • Linguistique générale (1)
  • Astronomie, cartographie, géodésie (1)

Domaines :

Fullscreen

159 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 RENE DAVID - Université Savoie Mont Blanc

Sciences appliquées

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

Soutenue en 2005
thèse soutenue

Résultats 1 à 10