Towards the Specification of Recursive Multi-agent Systems Using Type Theory | IEEE Conference Publication | IEEE Xplore