Exposé pour l’anniversaire des 60 ans de Thomas Ehrhard

screen capture
, par
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/
Documents joints
- pierre_boudes_multicoherences.pdf (PDF – 884.7 ko)