TY  - RPRT
TI  - Extraction of Efficient Programs in $IΣ_1$-arithmetic
AU  - Ján Komara
AU  - Paul J. Voda
PY  - 2019
UR  - https://arxiv.org/abs/1910.00635
ID  - 1910.00635
ER  -