TY  - RPRT
TI  - Revisiting the duality of computation: an algebraic analysis of classical realizability models
AU  - Étienne Miquey
PY  - 2020
DO  - 10.4230/lipics.csl.2020.30
UR  - https://arxiv.org/abs/1910.02732
ID  - 1910.02732
ER  -