Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{prebet:LIPIcs.ICALP.2022.130, author = {Prebet, Enguerrand}, title = {{Functions and References in the PiCalculus: Full Abstraction and Proof Techniques}}, booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)}, pages = {130:1130:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959772358}, ISSN = {18688969}, year = {2022}, volume = {229}, editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16471}, URN = {urn:nbn:de:0030drops164715}, doi = {10.4230/LIPIcs.ICALP.2022.130}, annote = {Keywords: Callbyvalue \lambdacalculus, imperative Programming, \picalculus, Bisimulation, Type System} }
Keywords:  Callbyvalue λcalculus, imperative Programming, πcalculus, Bisimulation, Type System  
Collection:  49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)  
Issue Date:  2022  
Date of publication:  28.06.2022 