Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (12)
  • Sorbonne Paris Cité (5)
  • Nancy 1 (4)
  • Université de Lorraine (4)
  • Chambéry (2)
  • Lyon, École normale supérieure (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 11 (2)
  • Toulouse 3 (2)
  • Université Côte d'Azur (ComUE) (2)
  • Université Grenoble Alpes (ComUE) (2)
  • Aix-Marseille (1)
  • Aix-Marseille 2 (1)
  • Bordeaux 1 (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble (1)
  • Grenoble Alpes (1)
  • Lille 3 (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Metz (1)
  • Nantes, Ecole des Mines (1)
  • Nice (1)
  • Paris 1 (1)
  • Paris 13 (1)
  • Paris 6 (1)
  • Paris, CNAM (1)
  • Toulouse, ENSAE (1)
  • Université Paris-Saclay (ComUE) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (30)
  • Sciences appliquées (5)
  • Mathématiques (4)
  • Informatique et mathématiques (2)
  • Informatique. Informatique fondamentale (2)
  • Logique et fondements de l'informatique (2)
  • Sciences et techniques (2)
  • Informatique et applications (1)
  • Mathématiques et informatique (1)
  • Mathématiques. Informatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Philosophie (1)
  • Philosophie (métaphysique, épistémologie, esthétique) (1)
  • Sciences et techniques communes (1)
  • Sciences. Informatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (6)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • IAEM Lorraine (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Philosophie (Paris) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (38)
  • anglais (17)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Krivine Jean-Louis (4)
  • Huet Gérard (3)
  • Colson Loïc (2)
  • Curien Pierre-Louis (2)
  • David René (2)
  • Kirchner Claude (2)
  • Paulin-Mohring Christine (2)
  • Stratulat Sorin (2)
  • Tabareau Nicolas (2)
  • Abrusci Vito Michele (1)
  • Accart Hardin Thérèse (1)
  • Baelde David (1)
  • Baillot Patrick (1)
  • Bernot Gilles (1)
  • Bertot Yves (1)
  • Bhargavan Karthikeyan (1)
  • Blackburn Patrick (1)
  • Blazy Sandrine (1)
  • Bodeveix Jean-Paul (1)
  • Caferra Ricardo (1)
  • Cazin Jacques (1)
  • Chauviré Christiane (1)
  • Corbineau Pierre (1)
  • Danos Vincent (1)
  • Di Cosmo Roberto (1)
  • Dowek Gilles (1)
  • Dubois Catherine (1)
  • Dömösi Pál (1)
  • Ehrhard Thomas (1)
  • Filali Mamoun (1)
  • Galmiche Didier (1)
  • Girard Jean-Yves (1)
  • Grigorieff Serge (1)
  • Groote Philippe de (1)
  • Herbelin Hugo (1)
  • Hirschowitz André (1)
  • Hirschowitz Tom (1)
  • Kahn Gilles (1)
  • Kesner Delia (1)
  • Lakhnech Yassine (1)
  • Lescanne Pierre (1)
  • Liquori Luigi (1)
  • Margenstern Maurice (1)
  • Marion Jean-Yves (1)
  • Maurice Pierre (1)
  • Mazza Damiano (1)
  • Miquel Alexandre (1)
  • Mogbil Virgile (1)
  • Nour Karim (1)
  • Peltier Nicolas (1)
  • Pogodalla Sylvain (1)
  • Puel Laurence (1)
  • Rahman Shahid (1)
  • Retoré Christian (1)
  • Régnier Laurent (1)
  • Saurin Alexis (1)
  • Soutif Eric (1)
  • Strassburger Lutz (1)
  • Vauzeilles Jacqueline (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (37)
  • Mathématiques (12)
  • Sciences de l'ingénieur (6)
  • Informatique, information, généralités (3)
  • Sciences de la nature et mathématiques (3)
  • Technologie (Sciences appliquées) (3)
  • Philosophie, psychologie (2)
  • Epistémologie, causalité, genre humain (1)
  • Logique (1)
  • Education et enseignement (1)
  • Langues et linguistique (1)

Domaines :

Fullscreen
Informatique

Soutenue le 24-10-2008
thèse soutenue

...les λ-termes dans le cadre dessyste`mes fonctionnels issus de l’isomorphisme de Curry-Howard. On...

Accéder en ligne
Informatique

Soutenue le 17-06-2014
thèse soutenue

Résultats 1 à 10