Daniele’s paper Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes has been published as part of the proceedings of the 27th International Conference on Types for Proofs and Programs,(TYPES), organised by the Leiden Institute of Advanced Computer Science, in the Netherlands.

The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming.