TY  - RPRT
TI  - A first-order completeness result about characteristic Boolean algebras in classical realizability
AU  - Guillaume Geoffroy
PY  - 2022
DO  - 10.1145/3531130.3532484
UR  - https://arxiv.org/abs/2209.08838
ID  - 2209.08838
ER  -