An old story about coherence spaces, hypercoherences and the less known multicohences and some considerations concerning coherent differential PCF.
Transparents
Exposé pour l’anniversaire des 60 ans de Thomas Ehrhard, An old story about coherence spaces, hypercoherences and the less known multicohences and some considerations concerning coherent differential (...)
[pdf]
Présentation de Thick Subtrees, Games and Experiments, TLCA 09
[pdf]
Exposé Sémantique des jeux (introduction), LIPN 2005
[pdf]
Exposé MELLpol, designs (games) and the relational model, Rencontre Protocollo, Turin 18/09/2004.
[pdf, gz]
Designs, strategies and cliques, rencontre Proof theory and its application, Tokyo, 29-30/03/2004
[pdf, gz]
Séminaire hypercohérences et jeux polarisés, équipe de logique de Roma Tre (1/10/2003)
[pdf]
Présentation de non uniform hypercoherences, à CTCS 02 (août 2002)
[pdf]