TY - RPRT TI - Towards the simulation of higher-order quantum resources: a general type-theoretic approach AU - Samuel B. Steakley AU - Elia Zanoni AU - Carlo Maria Scandolo PY - 2026 UR - https://arxiv.org/abs/2510.03622 ID - 2510.03622 ER -