TY - RPRT TI - Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis AU - Thomas Seiller AU - Steffen Jost PY - 2019 DO - 10.4204/eptcs.298 UR - https://arxiv.org/abs/1908.04478 ID - 1908.04478 ER -