TY  - RPRT
TI  - General Ramified Recurrence is Sound for Polynomial Time
AU  - Ugo Dal Lago
AU  - Simone Martini
AU  - Margherita Zorzi
PY  - 2010
DO  - 10.4204/eptcs.23.4
UR  - https://arxiv.org/abs/1005.0521
ID  - 1005.0521
ER  -