Alexandre Miquel (ENS Lyon), Classical realizability models, parallel-or and Boolean valued models

Programme