TY  - RPRT
TI  - A rich hierarchy of functionals of finite types
AU  - Dag Normann
PY  - 2009
DO  - 10.2168/lmcs-5(3:11)2009
UR  - https://arxiv.org/abs/0909.1198
ID  - 0909.1198
ER  -