Sindbad~EG File Manager
����; � TeX output 2000.10.09:2133� �����z#f����ܚ�5#f����ܚ��|,����N� ff cmbx12�Unication�ffin�Lam���b�s3da-Calculus��"�%�� ʶ��K�`y
cmr10�Mic���hael�UUBeeson���i�� �a>�&o��� cmr9�Departmen��9t�Tof�Mathematics�and�Computer�Science�� �� ��ZSan�TJose�State�Univ��9ersit�y���� ��San�TJose,�California�95192,�USA���� ��email:�Tb�A�eeson@mathcs.sjsu.edu�� �����[s��'t�: cmbx9�Abstract.��� �&��A�;new�;Vunication�algorithm�is�in��9tro�A�duced,�whic�h�(unlik�e�pre-����[s�vious�N�algorithms�for�unication�in��)5��"