Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (35)
  • Grenoble (17)
  • Paris Saclay (17)
  • Grenoble Alpes (16)
  • Université de Lorraine (13)
  • Sorbonne Paris Cité (11)
  • Bordeaux (9)
  • Paris 6 (8)
  • Paris, CNAM (8)
  • Chambéry (7)
  • Lyon, École normale supérieure (7)
  • Nancy 1 (6)
  • Orléans (6)
  • Palaiseau, Ecole polytechnique (6)
  • Paris 1 (6)
  • Paris Sciences et Lettres (6)
  • Pau (6)
  • Nice (5)
  • Rennes 1 (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • Bordeaux 1 (4)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (4)
  • Paris Est (4)
  • Aix-Marseille (3)
  • Côte d'Azur (3)
  • Lyon (3)
  • Montpellier (3)
  • Università degli studi (Bologne, Italie) (3)
  • Besançon (2)
  • Ecole centrale de Lille (2)
  • Le Mans (2)
  • Lorient (2)
  • Paris 10 (2)
  • Paris 11 (2)
  • Toulouse 1 (2)
  • Toulouse 3 (2)
  • Toulouse, INPT (2)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (2)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (2)
  • Valenciennes (2)
  • Aix-Marseille 2 (1)
  • Antilles (1)
  • Belfort-Montbéliard (1)
  • Cachan, Ecole normale supérieure (1)
  • Cergy-Pontoise (1)
  • Ecole centrale de Marseille (1)
  • Evry-Val d'Essonne (1)
  • Institut supérieur de gestion (Tunis) (1)
  • Institute of software, Chinese academy of sciences (1)
  • Kungliga tekniska högskolan (Stockholm) (1)
  • La Réunion (1)
  • Lille 1 (1)
  • Limoges (1)
  • Lyon 1 (1)
  • Lyon, Ecole normale supérieure (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Montpellier 1 (1)
  • Montpellier 2 (1)
  • Mulhouse (1)
  • Nantes, Ecole des Mines (1)
  • Normandie (1)
  • Paris 13 (1)
  • Paris 3 (1)
  • Paris 4 (1)
  • Paris 5 (1)
  • Paris, EHESS (1)
  • Paris, ENMP (1)
  • Paris, ENSAM (1)
  • Paris, ENST (1)
  • Paris, Ecole normale supérieure (1)
  • Reims (1)
  • Toulouse 2 (1)
  • Toulouse, ISAE (1)
  • Universidad de Buenos Aires (1)
  • Universidad de Santiago de Chile (1)
  • Universidad de Zaragoza (Espagne) (1)
  • Universidad de la República (Montevideo) (1)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (1)
  • Universidade de Aveiro (Portugal) (1)
  • Università Ca'Foscari Venezia (1)
  • Università degli studi (Padoue, Italie). Dipartimento di filosofia, sociologia, pedagogia e psicologia applicata (1)
  • Università degli studi (Sienne, Italie) (1)
  • Università degli studi (Turin, Italie) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université de Fribourg (Suisse) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université de Torino - ITALIE (1)
  • Université libre de Bruxelles (1970-....) (1)
  • VŠB - Technical University of Ostrava (1)
  • Warsaw, Uniwersytet Warszawski (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (132)
  • Mathématiques (19)
  • Sciences appliquées (9)
  • Mathématiques appliquées (5)
  • Mathématiques. Logique et fondements de l'informatique (5)
  • Physique (5)
  • Mathématiques et Informatique (4)
  • Informatique et mathématiques (3)
  • Mathematiques (3)
  • Philosophie (3)
  • Sciences économiques (3)
  • Informatique fondamentale (2)
  • Informatique. Informatique fondamentale (2)
  • Mathématiques Appliquées (2)
  • Mathématiques aux interfaces (2)
  • Mathématiques et informatique (2)
  • Science politique (2)
  • Sciences de gestion (2)
  • Sociologie (2)
  • Stic (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Acoustique (1)
  • Archéologie (1)
  • Aspects moléculaires et cellulaires de la biologie (1)
  • Astophysique relativiste (1)
  • Astronomie et Astrophysique (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Automatique, productique, signal et image, ingénierie cognitique (1)
  • Automatique. Automatique, génie informatique (1)
  • Biologie Santé (1)
  • Biologie cellulaire (1)
  • Cosmologie (1)
  • Droit public (1)
  • Electronique et Optoélectronique, Nano- et Microtechnologies (1)
  • Electronique, microelectronique, optique et lasers, optoelectronique microondes (1)
  • Energétique, thermique et combustion (1)
  • Génie Electrique (1)
  • Génie informatique (1)
  • Géographie (1)
  • Géophysique (1)
  • Informatique et applications (1)
  • Informatique et réseaux (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Informatique-traitement du signal (1)
  • Intelligence Artificielle / Aide à la décision (1)
  • Logique mathématique (1)
  • Mathématiques Logique et fondements de l'Informatique (1)
  • Mathématiques appliquées et calcul scientifique (1)
  • Mathématiques et applications (1)
  • Mathématiques et automatique (1)
  • Mathématiques et leurs interactions (1)
  • Matériaux (1)
  • Matériaux, Mécanique, Génie civil, Electrochimie (1)
  • Micro et nano technologies, acoustique et télécommunications (1)
  • Microfluidique - Biotechnologies (1)
  • Morphologie mathématique (1)
  • Mécanique des Solides (1)
  • Mécanique, génie mécanique (1)
  • Médecine (1)
  • Neurosciences Cognitives (1)
  • Optique, Photonique, Hyperfréquences (1)
  • Physique appliquée à l'océan (1)
  • Physique subatomique et astroparticules (1)
  • Physique théorique (1)
  • Réseaux, télécom, système et architecture (1)
  • STIC (sciences et technologies de l'information et de la communication) - Cergy (1)
  • STIC Informatique (1)
  • Sciences Economiques (1)
  • Sciences de l'Univers (1)
  • Sciences de l'information et de la communication (1)
  • Sciences de l'éducation (1)
  • Sciences de la Terre et de l'univers (1)
  • Sciences des matériaux (1)
  • Sciences du langage (1)
  • Sciences economiques (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et techniques communes (1)
  • Sciences et technologies industrielles (1)
  • Sciences. Informatique (1)
  • Signal, Image, Automatique (1)
  • Signal, image, paroles, télécoms (1)
  • Systèmes automatiques et micro-électroniques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (23)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (16)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (13)
  • École doctorale Informatique, télécommunications et électronique (Paris) (9)
  • École doctorale en Informatique et Mathématiques de Lyon (9)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (8)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (7)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (5)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (5)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (5)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (5)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (3)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (3)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (3)
  • École doctorale Philosophie (Paris) (3)
  • École doctorale Physique en Île-de-France (Paris) (3)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (3)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (3)
  • École doctorale Sciences fondamentales et appliquées (Nice) (3)
  • École doctorale Sciences pour l'Ingénieur (Lille) (3)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (3)
  • École doctorale d'Économie (Paris) (3)
  • I2S - Information, Structures, Systèmes (2)
  • IAEM Lorraine (2)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (2)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (2)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (2)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (2)
  • École doctorale physique (Grenoble) (2)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (1)
  • Ecole Doctorale Matériaux de Lyon (Villeurbanne) (1)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (1)
  • Ecole doctorale Sciences de l'homme et de la société (Reims, Marne) (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • Entreprise Économie Société (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • SMI - Sciences des Métiers de l'Ingénieur (1)
  • Sciences Chimiques et Biologiques pour la Santé (1)
  • École Doctorale Droit et Science Politique (Nanterre) (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École Doctorale Sciences de Gestion TSM (Toulouse) (1)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (1)
  • École doctorale Cerveau, cognition, comportement (Paris) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale Droit et science politique (Montpellier ; 2010-2014) (1)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (1)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Frontières du vivant (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 Milieu insulaire tropical à risques : protection, valorisation , santé et développement (Pointe-à-Pitre) (1)
  • École doctorale Milieux, cultures et sociétés du passé et du présent (Nanterre) (1)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences pour l'ingénieur (Nantes) (1)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale Sociétés, Cultures, Echanges (SCE) (Angers) (1)
  • École doctorale Temps, Espaces, Sociétés, Cultures (Toulouse) (1)
  • École doctorale chimie et science du vivant (Grenoble) (1)
  • École doctorale de Physique et Astrophysique de Lyon (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)
  • École doctorale Études anglophones, germanophones, et européennes (2009-.... ; Paris) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (143)
  • français (132)
  • espagnol (1)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Curien Pierre-Louis (11)
  • David René (6)
  • Groote Philippe de (6)
  • Kesner Delia (6)
  • Kirchner Claude (6)
  • Berline Chantal (4)
  • Herbelin Hugo (4)
  • Miquel Alexandre (4)
  • Nour Karim (4)
  • Retoré Christian (4)
  • Régnier Laurent (4)
  • Baillot Patrick (3)
  • Bucciarelli Antonio (3)
  • Dubois Catherine (3)
  • Ehrhard Thomas (3)
  • Hirschkoff Daniel (3)
  • Krivine Jean-Louis (3)
  • Lakhnech Yassine (3)
  • Ronchi Della Rocca Simona (3)
  • Salibra Antonino (3)
  • Sangiorgi Davide (3)
  • Aït-Ameur Yamine (2)
  • Barkaoui Kamel (2)
  • Barrau Aurélien (2)
  • Bertot Yves (2)
  • Blanqui Frédéric (2)
  • Cresson Jacky (2)
  • Delahaye David (2)
  • Dowek Gilles (2)
  • Girard Jean-Yves (2)
  • Guerrini Stefano (2)
  • Huet Gérard (2)
  • Lescanne Pierre (2)
  • Loulergue Frédéric (2)
  • Lévy Jean-Jacques (2)
  • Marion Jean-Yves (2)
  • Pogodalla Sylvain (2)
  • Pointcheval David (2)
  • Salvati Sylvain (2)
  • Starck Jean-Luc (2)
  • Tabareau Nicolas (2)
  • Vuillon Laurent (2)
  • Amblard Maxime (1)
  • Apvrille Ludovic (1)
  • Arrighi Pablo (1)
  • Artal-Bartolo Enrique (1)
  • Ayadi Mohamed (1)
  • Bach Francis (1)
  • Baelde David (1)
  • Balat Vincent (1)
  • Bantignies Jean-Louis (1)
  • Barbanson Luc (1)
  • Barnier Bernard (1)
  • Barthou Denis (1)
  • Bassac Christian (1)
  • Bergmann Michel (1)
  • Bhargavan Karthikeyan (1)
  • Blackburn Patrick (1)
  • Blanqui Fréderic (1)
  • Blazy Sandrine (1)
  • Bloch Isabelle (1)
  • Bodeveix Jean-Paul (1)
  • Bolon Philippe (1)
  • Bon Philippe (1)
  • Bonald Thomas (1)
  • Bonnet Jérôme (1)
  • Boudol Gérard (1)
  • Bourgeois Stéphane (1)
  • Brunet Pierre (1)
  • Caillaud Benoît (1)
  • Calais Éric (1)
  • Calvary Gaëlle (1)
  • Campana Stefano (1)
  • Castagna Giuseppe (1)
  • Caton François (1)
  • Chardonnet Jean-Rémy (1)
  • Chatelon Jean-Pierre (1)
  • Chen Haiming (1)
  • Cirrincione Giansalvo (1)
  • Cirrincione Maurizio (1)
  • Clément Lionel (1)
  • Cochelin Bruno (1)
  • Cochoy Franck (1)
  • Coda Virginie (1)
  • Collart-Dutilleul Simon (1)
  • Colson Loïc (1)
  • Comon Pierre (1)
  • Coquand Thierry (1)
  • Coquery Emmanuel (1)
  • Corbineau Pierre (1)
  • Courcelle Bruno (1)
  • Courty Nicolas (1)
  • Cousot Radhia (1)
  • Cuppens Nora (1)
  • Dalmont Jean-Pierre (1)
  • Dang Thao (1)
  • Dapoigny Richard (1)
  • Darzacq Xavier (1)
  • David François (1)
  • Dehaene Stanislas (1)
  • Delmas Rémi (1)
  • Demeulenaere Pierre (1)
  • Denis Alexandre (1)
  • Desainte-Catherine Myriam (1)
  • Déharbe David (1)
  • Di Cosmo Roberto (1)
  • Dolean Victorita (1)
  • Dormagen Jean-Yves (1)
  • Dubresson Alain (1)
  • Duchier Denys (1)
  • Dumas Jean-Guillaume (1)
  • Durand Aline (1)
  • Duval Dominique (1)
  • Dymetman Marc (1)
  • Dömösi Pal (1)
  • Erhel Jocelyne (1)
  • Estevez Rafaël (1)
  • Eynard Bertrand (1)
  • Filali Mamoun (1)
  • Filiot Emmanuel (1)
  • Filliâtre Jean-Christophe (1)
  • Fiorino Humbert (1)
  • Fischer Ulrich (1)
  • Florens Vincent (1)
  • Florin Gérard (1)
  • Foldyna Martin (1)
  • Fontaine Pascal (1)
  • Fradet Pascal (1)
  • Frappier Marc (1)
  • Frehse Goran (1)
  • Freire Cunha Paulo Roberto (1)
  • Frigant Vincent (1)
  • Funar Louis (1)
  • Gaio Mauro (1)
  • Galmiche Didier (1)
  • Gardent Claire (1)
  • Garrouste Pierre (1)
  • Gaussier Philippe (1)
  • Gauwin Olivier (1)
  • Gava Frédéric (1)
  • Gazengel Bruno (1)
  • Geiselmann Johannes (1)
  • Gendry Michel (1)
  • Genet Thomas (1)
  • Georges Jean-Philippe (1)
  • Giacomoni Jacques (1)
  • Gibel Patrick (1)
  • Giorgetti Alain (1)
  • Giraud Gaël (1)
  • Girault Alain (1)
  • Glangetas Léo (1)
  • Gouguet Jean-Jacques (1)
  • Graefe Olivier (1)
  • Grigenti Fabio (1)
  • Grinbaum Alexei (1)
  • Grosjean Thierry (1)
  • Guilbert Laurent (1)
  • Guinot Christiane (1)
  • Hacid Mohand Saïd (1)
  • Haddad Serge (1)
  • Hadj Kacem Ahmed (1)
  • Hains Gaétan (1)
  • Hassenforder Michel (1)
  • Heinzmann Gerhard (1)
  • Heitz Dominique (1)
  • Henrio Ludovic (1)
  • Herlin Isabelle (1)
  • Hermant Olivier (1)
  • Hirschowitz Tom (1)
  • Huneman Philippe (1)
  • Hyvernat Pierre (1)
  • Iollo Angelo (1)
  • Iouditski Anatoli (1)
  • Jacob Gérard (1)
  • Jensen Thomas (1)
  • Joinet Jean-Baptiste (1)
  • Jouannaud Jean-Pierre (1)
  • Jouvelot Pierre (1)
  • Julliand Jacques (1)
  • Kahn Gilles (1)
  • Kheddar Abderrahmane (1)
  • Kirchner Florent (1)
  • Kistler Max (1)
  • Klein Jacques-Olivier (1)
  • Komodakis Nikos (1)
  • Kopp Pierre (1)
  • Kosmatov Nikolaï (1)
  • Krasnov Kirill (1)
  • Lacarrière Bruno (1)
  • Lacour Stephan (1)
  • Lafourcade Pascal (1)
  • Laleau Régine (1)
  • Laminie Jacques (1)
  • Lanet Jean-Louis (1)
  • Laneve Cosimo (1)
  • Larchey-Wendling Dominique (1)
  • Larrasquet Jean-Michel (1)
  • Lauber Jimmy (1)
  • Laurent Olivier (1)
  • Lavenier Dominique (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (155)
  • Mathématiques (55)
  • Sciences de l'ingénieur (29)
  • Physique (12)
  • Informatique, information, généralités (11)
  • Economie (6)
  • Sciences de la vie, biologie, biochimie (5)
  • Sciences de la terre (4)
  • Logique (3)
  • Sciences sociales, sociologie, anthropologie (3)
  • Langues et linguistique (3)
  • Astronomie, cartographie, géodésie (3)
  • Gestion et organisation de l'entreprise (3)
  • Philosophie, psychologie (2)
  • Science politique (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Epistémologie, causalité, genre humain (1)
  • Droit (1)
  • Education et enseignement (1)
  • Linguistique générale (1)
  • Sciences de la nature et mathématiques (1)
  • Technologie (Sciences appliquées) (1)
  • Fabrication industrielle (1)
  • Musique (1)
  • Géographie et histoire (1)
  • Histoire ancienne et préhistoire (1)

Domaines :

Fullscreen

273 thèses pour Lambda calculus

Informatique

Soutenue en 2008
thèse soutenue

...–232. Cambridge University Press, 2011.[Plo75] Gordon D. Plotkin. Call-by-name, call-by-value and the lambda-calculus...

Accéder en ligne
Mathématiques

Soutenue en 1992
thèse soutenue
Informatique

Soutenue en 1993
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

...-definability and recursiveness. DukeMathematical Journal, 2:340–353, 1936.[Kri93] Jean-Louis Krivine. Lambda-Calculus...

Accéder en ligne

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

Résultats 1 à 10