@misc{indiciae33766d5ff32e, title = {Revisiting the duality of computation: an algebraic analysis of classical realizability models}, author = {Étienne Miquey}, year = {2020}, doi = {10.4230/lipics.csl.2020.30}, url = {https://arxiv.org/abs/1910.02732}, note = {Source identifier: 1910.02732} }