TY  - RPRT
TI  - The Geometry of Linear Higher-Order Recursion
AU  - U. Dal Lago
PY  - 2006
UR  - https://arxiv.org/abs/cs/0506080
ID  - cs/0506080
ER  -