TY  - RPRT
TI  - Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis
AU  - Guillaume Bonfante
AU  - Georg Moser
PY  - 2017
DO  - 10.4204/eptcs.248
UR  - https://arxiv.org/abs/1704.05169
ID  - 1704.05169
ER  -