Joachim Parrow Davide Sangiorgi Algebraic Theories for Name-Passing Calculi. 509-529 1993 conf/rex/1993 REX School/Symposium db/conf/rex/rex93.html#ParrowS93 http://dx.doi.org/10.1007/3-540-58043-3_27