Output details
11 - Computer Science and Informatics
Heriot-Watt University
Higher-Order Unification : A structural relation between Huet's method and the one based on explicit substitutions
<11>This paper was the basis for Kamareddine's involvement in the supervision and examination of two PhD students at the university of Brasilia (Dr de Moura and Dr Ventura), and to her invitation to a professorialship at the University fo Brasilia. Based on this paper, numerous invited seminars and lectures were given by Kamareddine at various Brasilian insitutions and international events. The collaboration with Brasil based on this paper led to a number of joint involvements (e.g., summer school on term rewriting and RTA in Brasil) and a number of exchange visits between Brasil and Scotland. This
paper was also a basis for joint collaboration with the symbolic computation group of Prof Tetsuo Ida in Japan.