TY  - RPRT
TI  - Some applications of logic to feasibility in higher types
AU  - Aleksandar Ignjatovic
AU  - Arun Sharma
PY  - 2002
UR  - https://arxiv.org/abs/cs/0204045
ID  - cs/0204045
ER  -