Locativité et interactivité en logique, linguistique et informatique théorique.
Accueil du site > 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

1 Message

  • china free shipping 11 mars 06:54

    If you read a lot of magazines from the Newsstand, my suggestion is to wait for the next generation iPad mini or at least wait for Apple to optimize it for this device because it’s fairly bad. Bad to the point where some articles are unreadable or VERY difficult to read. The text is blurry and you have to make some effort to make out the words.

    Websites,ployer momo7 PDFs, emails and text messages aren’t as horrible. They’re actually quite acceptable, and I had no problems doing some actual work such as writing part of this review on the iPad mini using the WriteRoom app. The same is true of Facebook, Twitter, and reading news from Flipboard.

    Répondre à ce message

Répondre à cet article

Un site réalisé et hébergé par accatone, le studio web solidaire et inventif.
Site propulsé par accatone.com Valid XHTML 1.0 Transitional CSS Valide ! SPIP
  • Présentation
    • Partenaires
    • Membres
    • Positionnement
  • Réunions
    • Réunion de lancement
    • WORKSHOP#1
    • WORKSHOP#2
    • WORKSHOP#3
    • WORKSHOP#4
    • WORKSHOP#5
    • WORKSHOP#6
  • Rapports
  • Axes de travail
    • Lexique
    • Apprentissage
    • Pragmatique
    • Web et ontologie
    • Théorie
  • Contacts
    • cliquez sur Contacts (au dessus)