##article.return## Towards the simulation of higher-order quantum resources: a general type-theoretic approach Download Download PDF