The category-theoretic solution of recursive domain equations | IEEE Conference Publication | IEEE Xplore