@inproceedings(huttel2022hopsitypes,
 author       = {Alex Rønning Bendixen and Bjarke Bredow Bojesen and Hans Hüttel and Stian Lybech},
 year         = {2022},
 title        = {A Generic Type System for Higher-Order \ensuremath{\Psi}-calculi},
 series       = {this volume of EPTCS},
 publisher    = {Open Publishing Association},
)
@inproceedings(bengtson2009psi,
 author       = {Jesper Bengtson and Magnus Johansson and Joachim Parrow and Bj{\"o}rn Victor},
 year         = {2009},
 title        = {Psi-calculi: Mobile processes, nominal data, and logic},
 booktitle    = {2009 24th Annual IEEE Symposium on Logic In Computer Science},
 organization = {IEEE},
 pages        = {39--48},
 doi          = {10.1016/S1571-0661(05)80361-5},
)
@article(bengtson2011psi,
 author       = {Jesper Bengtson and Magnus Johansson and Joachim Parrow and Björn Victor},
 year         = {2011},
 title        = {{Psi-calculi: a framework for mobile processes with nominal data and logic}},
 journal      = {{Logical Methods in Computer Science}},
 volume       = {{Volume 7, Issue 1}},
 doi          = {10.2168/LMCS-7(1:11)2011},
 url          = {https://lmcs.episciences.org/696},
)
@article(CARBONEMAFFEIS,
 author       = {Marco Carbone and Sergio Maffeis},
 year         = {2003},
 title        = {On the Expressive Power of Polyadic Synchronisation in Pi-Calculus},
 journal      = {Nordic Journal of Computing},
 volume       = {10},
 number       = {2},
 pages        = {70--98},
 doi          = {10.1016/S1571-0661(05)80361-5},
)
@inproceedings(fournetgonthier2000joincalculus,
 author       = {Cédric Fournet and Georges Gonthier},
 year         = {2000},
 title        = {The Join Calculus: A Language for Distributed Mobile Programming},
 booktitle    = {International Summer School on Applied Semantics},
 organization = {Springer},
 pages        = {268--332},
 doi          = {10.1007/3-540-45699-6\_6},
)
@article(gabbay2002nominal,
 author       = {Murdoch Gabbay and Andrew Pitts},
 year         = {2002},
 title        = {A New Approach to Abstract Syntax with Variable Binding},
 journal      = {Formal Asp. Comput.},
 volume       = {13},
 pages        = {341--363},
 doi          = {10.1007/s001650200016},
)
@inproceedings(glabbeek2018encodingexpressiveness,
 author       = {Rob van Glabbeek},
 year         = {2018},
 title        = {A theory of encodings and expressiveness},
 booktitle    = {International Conference on Foundations of Software Science and Computation Structures},
 organization = {Springer, Cham},
 pages        = {183--202},
 doi          = {10.1007/978-3-319-89366-2\_10},
)
@article(GORLA,
 author       = {Daniele Gorla},
 year         = {2010},
 title        = {Towards a unified approach to encodability and separation results for process calculi},
 journal      = {Information and Computation},
 volume       = {208},
 number       = {9},
 pages        = {1031--1053},
 doi          = {10.1016/j.ic.2010.05.002},
)
@article(gorla_nestmann2014_full_abstraction,
 author       = {Daniele Gorla and Uwe Nestmann},
 year         = {2014},
 title        = {Full abstraction for expressiveness: history, myths and facts},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {26},
 pages        = {639 -- 654},
 doi          = {10.1017/S0960129514000279},
)
@techreport(rhocalc2022techreport,
 author       = {Stian Lybech},
 year         = {2022},
 title        = {Encodability and Separation for a Reflective Higher-Order Calculus},
 type         = {Technical Report},
 institution  = {Department of Computer Science, Reykjavík University},
 url          = {http://icetcs.ru.is/stian/2022/reflection_encodability2022techreport.pdf},
)
@article(RHOCALC,
 author       = {L.G. Meredith and Matthias Radestock},
 year         = {2005},
 title        = {A Reflective Higher-order Calculus},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {141},
 number       = {5},
 pages        = {49 -- 67},
 doi          = {10.1016/j.entcs.2005.05.016},
 note         = {Proceedings of the Workshop on the Foundations of Interactive Computation (FInCo 2005)},
)
@incollection(PICALC,
 author       = {Robin Milner},
 year         = {1993},
 title        = {The Polyadic $\pi$-Calculus: a Tutorial},
 booktitle    = {Logic and Algebra of Specification},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {203--246},
 doi          = {10.1007/978-3-642-58041-3\_6},
)
@article(milner_walker_parrow1992picalc,
 author       = {Robin Milner and Joachim Parrow and David Walker},
 year         = {1992},
 title        = {A calculus of mobile processes, I},
 journal      = {Information and Computation},
 volume       = {100},
 number       = {1},
 pages        = {1--40},
 doi          = {10.1016/0890-5401(92)90008-4},
)
@incollection(parrow2001introduction,
 author       = {Joachim Parrow},
 year         = {2001},
 title        = {An introduction to the $\pi$-calculus},
 booktitle    = {Handbook of Process Algebra},
 publisher    = {Elsevier},
 pages        = {479--543},
 doi          = {10.1016/B978-044482830-9/50026-6},
)
@article(parrow2014higher,
 author       = {Joachim Parrow and Johannes Borgstr{\"o}m and Palle Raabjerg and {\r A}man Pohjola, Johannes},
 year         = {2014},
 title        = {Higher-order psi-calculi},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {24},
 number       = {2},
 doi          = {10.1017/S0960129513000170},
)
@inproceedings(pierce2000pict,
 author       = {Benjamin C. Pierce and David N. Turner},
 year         = {2000},
 title        = {Pict: a programming language based on the Pi-Calculus},
 booktitle    = {Proof, Language, and Interaction},
 pages        = {455--494},
 doi          = {10.5555/345868.345924},
)
@phdthesis(SANGIORGIPHD,
 author       = {Davide Sangiorgi},
 year         = {1993},
 title        = {Expressing mobility in process algebras: first-order and higher-order paradigms},
 school       = {University of Edinburgh},
 url          = {http://hdl.handle.net/1842/6569},
)
@inproceedings(HOPICALC,
 author       = {Davide Sangiorgi},
 year         = {1993},
 title        = {From $\pi$-calculus to higher-order $\pi$-calculus --- and back},
 editor       = {M. C. Gaudel and J. P. Jouannaud},
 booktitle    = {TAPSOFT'93: Theory and Practice of Software Development},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {151--166},
 doi          = {10.1007/3-540-56610-4\_62},
)
@phdthesis(smith1982procedural_reflection,
 author       = {Brian Cantwell Smith},
 year         = {1982},
 title        = {Procedural Reflection in Programming Languages},
 school       = {Massachusetts Institute of Technology},
 url          = {http://hdl.handle.net/1721.1/15961},
)
@phdthesis(turner1996phd,
 author       = {David N. Turner},
 year         = {1996},
 title        = {The Polymorphic Pi-calculus: Theory and Implementation},
 school       = {University of Edinburgh, {UK}},
 url          = {https://hdl.handle.net/1842/395},
)