Daniele’s paper [Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes](https://drops.dagstuhl.de/opus/volltexte/2022/16780/pdf/LIPIcs-TYPES-2021-11.pdf) has been published as part of the proceedings of the [27th International Conference on Types for Proofs and Programs,(TYPES)](https://types21.liacs.nl/), organised by the Leiden Institute of Advanced Computer Science, in the Netherlands.
