TY  - RPRT
TI  - Dependent Pearl: Normalization by realizability
AU  - Pierre-Évariste Dagand
AU  - Lionel Rieg
AU  - Gabriel Scherer
PY  - 2020
UR  - https://arxiv.org/abs/1908.09123
ID  - 1908.09123
ER  -