@第{zbMATH06932683条，作者={Urabe，Natsuki and Hasuo，Ichiro}，Title={余代数无限迹和{Kleisli}模拟}，FJournal={计算机科学中的逻辑方法}，Journal＝｛Log.Methods Comput.Sci.｝，ISSN={1860-5974}，体积={14}，数字={3}，Pages={38}，注={Id/No 15}，年份={2018年}，语言={英语}，DOI={10.23638/LMCS-14（3:15）2018}，关键词={68Q85,18C20,18C50}，zbMATH={6932683}，Zbl={1511.68188}}