@inbook{munchmaccagnoni-2009-focalisation, title={Focalisation and Classical Realisability}, ISBN={9783642040276}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-642-04027-6_30}, DOI={10.1007/978-3-642-04027-6_30}, booktitle={Computer Science Logic}, publisher={Springer Berlin Heidelberg}, author={Munch-Maccagnoni, Guillaume}, year={2009}, pages={409–423} }