Applying Type Theory to Formal Specification of Recursive Multiagent Systems | IEEE Conference Publication | IEEE Xplore