TY  - RPRT
TI  - Implicative algebras: a new foundation for realizability and forcing
AU  - Alexandre Miquel
PY  - 2020
DO  - 10.1017/s0960129520000079
UR  - https://arxiv.org/abs/1802.00528
ID  - 1802.00528
ER  -