TY  - RPRT
TI  - Proof mining in $L^p$ spaces
AU  - Andrei Sipos
PY  - 2019
UR  - https://arxiv.org/abs/1609.02080
ID  - 1609.02080
ER  -