递归区域方程的双范畴理论解

吉安·卢卡·卡塔尼,马塞洛·菲奥雷.递归区域方程的双范畴理论解.理论计算机科学电子笔记, 172:203-222,2007 [美国国防部]

摘要

缺少摘要。