Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez: Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes. TYPES 2021: 11:1-11:24