An old story about coherence spaces, hypercoherences and the less known multicohences and some considerations concerning coherent differential PCF.
Accueil > Recherche > Transparents
Transparents
-
Exposé pour l’anniversaire des 60 ans de Thomas Ehrhard
3 octobre 2022, par Pierre -
Programming in a stock-flow consistent framework
1er janvier 2015, par PierreMon exposé au premier workshop MACME (décembre 2014).
-
Thick Subtrees, Games and Experiments
2 février 2011, par PierreTLCA 09
-
Sémantique des jeux (introduction)
2 février 2011, par PierreLIPN 2005
-
MELLpol, designs (games) and the relational model
7 avril 2005Rencontre Protocollo, Turin 18/09/2004.
-
projecting games on hypercoherences
7 avril 2005à ICALP 04
-
Designs, strategies and cliques
7 avril 2005rencontre 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)
-
Soutenance
7 avril 2005(20/12/2002)