Pierre Boudes

Articles les plus récents

• Thick Subtrees, Games and Experiments

  2 février 2011, par Pierre

  TLCA 09

• Logoi

  2 février 2011, par Pierre

  2010-2014

• LOCI

  2 février 2011, par Pierre

  2010-2014

• Choco

  2 février 2011, par Pierre

  2008-2011

• Non-uniform (hyper/multi)coherence spaces

  2 février 2011, par Pierre

  MSCS 2011

• Thick Subtrees, Games and Experiments

  2 février 2011, par Pierre

  TLCA 09

• Sémantique des jeux (introduction)

  2 février 2011, par Pierre

  LIPN 2005

• [Évaluation] Examen janvier 2011 (corrigé)

  8 janvier 2011, par Pierre

  Tout est dans les pdf.

• TD 11 et TP 11 fonctions récursives, Syracuse

  8 décembre 2010, par Pierre

• TD 10 et TP 10 structs au chocolat

  8 décembre 2010, par Pierre