Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (8)
  • Aix-Marseille 2 (4)
  • Paris 11 (4)
  • Paris 6 (4)
  • Aix-Marseille (3)
  • Grenoble 1 (3)
  • Sorbonne Paris Cité (3)
  • Aix-Marseille 1 (2)
  • Lyon (2)
  • Lyon, École normale supérieure (2)
  • Orléans (2)
  • Palaiseau, Ecole polytechnique (2)
  • Besançon (1)
  • Clermont-Ferrand 2 (1)
  • Compiègne (1)
  • Grenoble INPG (1)
  • Lille 1 (1)
  • Lyon 1 (1)
  • Nancy 1 (1)
  • Nice (1)
  • Paris, CNAM (1)
  • Toulouse, ENSAE (1)
  • Toulouse, INSA (1)
  • University of Cambridge (1)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (1)
  • Université Paris-Saclay (ComUE) (1)
  • Université catholique de Louvain (1970-....) (1)
  • Valenciennes (1)
  • Vandoeuvre-les-Nancy, INPL (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (28)
  • Sciences appliquées (9)
  • Mathématiques (4)
  • Automatique. Informatique industrielle (1)
  • Electronique (1)
  • Informat. (1)
  • Informatique. Informatique fondamentale (1)
  • Linguistique théorique, descriptive et automatique (1)
  • Mathematiques (1)
  • Mathématiques appliquées à l'informatique (1)
  • Mathématiques discrètes et fondements de l'informatique (1)
  • Mathématiques. Informatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Sciences et techniques communes (1)
  • informatique fondamentale (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale en Informatique et Mathématiques de Lyon (5)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (2)
  • Mathématiques et informatique de Marseille (184) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris2000-....) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (36)
  • anglais (14)
  • null (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Girard Jean-Yves (3)
  • Laurent Olivier (3)
  • Blanc Georges (2)
  • Borrione Dominique (2)
  • Bucciarelli Antonio (2)
  • Guerrini Stefano (2)
  • Régnier Laurent (2)
  • Baillot Patrick (1)
  • Berline Chantal (1)
  • Bidoit Michel (1)
  • Boudol Gérard (1)
  • Bourton Michel (1)
  • Chen Liming (1)
  • Collet Christine (1)
  • Curien Pierre-Louis (1)
  • Danlos Laurence (1)
  • Delahaye Jean-Paul (1)
  • Deville Yves (1)
  • Donzeau-Gouge Viguié Véronique (1)
  • Durieux Jean-Louis (1)
  • Ehrhard Thomas (1)
  • El Fallah Seghrouchni Amal (1)
  • Estublier Jacky (1)
  • Gastin Paul (1)
  • Gaudel Marie-Claude (1)
  • Geffroy Jean-Claude (1)
  • Girault C. (1)
  • Grigorieff Serge (1)
  • Hains Gaétan (1)
  • Halbwachs Nicolas (1)
  • Kirchner Claude (1)
  • Lakhal Lotfi (1)
  • Lamarche François (1)
  • Lorho Bernard (1)
  • Martel Matthieu (1)
  • Martini Simone (1)
  • Paillet Jean-Luc (1)
  • Paulin-Mohring Christine (1)
  • Perrin Guy-René (1)
  • Pin Jean-Éric (1)
  • Pouzet Marc (1)
  • Queinnec Christian (1)
  • Regnier Laurent (1)
  • Serrano Manuel (1)
  • Solnon Christine (1)
  • Tortora de Falco Lorenzo (1)
  • Tortora de falco Lorenzo (1)
  • Werner Benjamin (1)
  • Winskel Glynn (1)
  • Wolff Burkhart (1)
  • ‎Pagani‎ Michèle (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (34)
  • Sciences de l'ingénieur (12)
  • Mathématiques (8)
  • Informatique, information, généralités (3)
  • Linguistique générale (1)
  • Sciences de la nature et mathématiques (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen

Types intersection et calculs avec ressources dans la sémantique dénotationnelle du lambda-calcul

par Federico Olimpieri sous la direction de Laurent Regnier et de Lorenzo Tortora de falco. - Aix-Marseille

Mathematiques

En préparation depuis le 18-10-2017
 thèse en cours de préparation

...linéaire, sémantique dénotationnelle, espaces vectoriels topologies,théorie des distributions...

Accéder en ligne
Informatique

Soutenue le 12-12-2012
thèse soutenue

...embedding) du calcul relationnel de UTPdans HOL.1819La se´mantique de´notationnelle de Circus dans Isabelle...

Accéder en ligne
Informatique

Soutenue le 13-07-2017
thèse soutenue

...fort entre la sémantique opérationnelleet la sémantique dénotationnelle prouvé au chapitre 4 (théorème...

Accéder en ligne

Résultats 1 à 10