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 PCF.

Web page of the event : https://te60.linear-logic.org/