TY  - RPRT
TI  - Type homogeneity is not a restriction for safe recursion schemes
AU  - William Blum
PY  - 2017
UR  - https://arxiv.org/abs/1701.02118
ID  - 1701.02118
ER  -