Applying Type Theory to Formal Specification of Recursive Multiagent Systems
['Thi Thanh Ha Hoang', 'Michel Occello', 'Thanh Binh Nguyen']
Applying Type Theory to Formal Specification of Recursive Multiagent Systems