Deprecated: Unparenthesized `a ? b : c ? d : e` is deprecated. Use either `(a ? b : c) ? d : e` or `a ? b : (c ? d : e)` in /home/wwwapp/spip/ecrire/inc/utils.php on line 2697
Seiller Thomas - Présentation - Membres - ANR - LOCI
Accueil > Présentation > Seiller Thomas

Seiller Thomas

Thomas Seiller travaille actuellement à l’Institut mathématique de Luminy dans l’équipe Logique de la programmation.

Il prépare une thèse de mathématiques, intitulée Curry-Howard pour la concurrence : Géométrie de l’interaction et complexité, sous la direction de Jean-Yves Girard et de Laurent Regnier.

Il travaille principalement sur la géométrie de l’interaction, dans sa nouvelle version introduite par Jean-Yves Girard dans l’article Geometry of Interaction V : logic in the hyperfinite factor.

Voir en ligne : Page Pro

Répondre à cet article

Site propulsé par l'Atelier du code et du data, chantier d'insertion numérique
  • Présentation
    • Partenaires
    • Membres
    • Positionnement
  • Réunions
    • Réunion de lancement
    • WORKSHOP#1
    • WORKSHOP#2
    • WORKSHOP#3
    • WORKSHOP#4
    • WORKSHOP#5
    • WORKSHOP#6
    • Journée "Musique, dialogue, interaction"
    • The logic of the lexicon
    • LUDICS AND PHILOSOPHY
  • Rapports
  • Axes de travail
    • Lexique
    • Apprentissage
    • Pragmatique
    • Web et ontologie
    • Théorie
  • Contact
    • cliquez sur Contacts (au dessus)
  • Séminaire
    • Séminaire LOCI 06/2013
    • Séminaire LOCI - 07/2013
    • Séminaire LOCI - 09/2013
    • Séminaire LOCI - 10/2013
    • Séminaire LOCI - 11/2013
    • Séminaire LOCI - 01/2014
    • Séminaire LOCI - 02/2014
    • Séminaire LOCI - 04/2014