%0 Conference Paper %1 conf/types/PaulusN021 %A Paulus, Joseph W. N. %A Nantes-Sobrinho, Daniele %A Pérez, Jorge A. %B TYPES %D 2021 %E Basold, Henning %E Cockx, Jesper %E Ghilezan, Silvia %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 11:1-11:24 %T Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes. %U http://dblp.uni-trier.de/db/conf/types/types2021.html#PaulusN021 %V 239 %@ 978-3-95977-254-9

@inproceedings{conf/types/PaulusN021, added-at = {2024-05-07T00:00:00.000+0200}, author = {Paulus, Joseph W. N. and Nantes-Sobrinho, Daniele and Pérez, Jorge A.}, biburl = {https://www.bibsonomy.org/bibtex/21559a1f0462cc5e2581640d25583c979/dblp}, booktitle = {TYPES}, crossref = {conf/types/2021}, editor = {Basold, Henning and Cockx, Jesper and Ghilezan, Silvia}, ee = {https://doi.org/10.4230/LIPIcs.TYPES.2021.11}, interhash = {bf87534e803c21f65d4376a9fffe7d44}, intrahash = {1559a1f0462cc5e2581640d25583c979}, isbn = {978-3-95977-254-9}, keywords = {dblp}, pages = {11:1-11:24}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-05-13T10:01:25.000+0200}, title = {Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes.}, url = {http://dblp.uni-trier.de/db/conf/types/types2021.html#PaulusN021}, volume = 239, year = 2021 }