Pierre Boudes

Articles les plus récents

• Quelques exercices de TD/TP

  15 décembre 2005, par Pierre

• NO CoST

  27 octobre 2005

  2005-2009

• Site web du projet NO-CoST (2005-...)

  3 septembre 2005, par Pierre

  J’ai mis en place et administré le site web du projet NO-CoST. Le site tournait sous spip, avec des squelettes de mon cru. On peut en trouver une archive statique à l’url :
  http://www-lipn.univ-paris13.fr/nocost/ .

• MELLpol, designs (games) and the relational model

  7 avril 2005

  Rencontre Protocollo, Turin 18/09/2004.

• projecting games on hypercoherences

  7 avril 2005

  à ICALP 04

• Designs, strategies and cliques

  7 avril 2005

  rencontre Proof theory and its application, Tokyo, 29-30/03/2004

• hypercohérences et jeux polarisés

  7 avril 2005

  équipe de logique de Roma Tre (1/10/2003)

• non uniform hypercoherences

  7 avril 2005

  à CTCS 02 (août 2002)

• Desequentialization of games and experiments in proof-nets

  7 avril 2005

  preprint IML 2005-1

• Unifying static and dynamic denotational semantics

  7 avril 2005

  preprint IML 2004-8