自然变换作为重写规则和单子合成第条
作者：Dexter Kozen
无效的
德克斯特·科赞
Eklund等人（2002）提出了一种图形技术，旨在简化验证各种理论结构，尤其是单子的组成。在本说明中，我们采用了不同的方法，包括字符串重写。我们证明了一个给定的元组$（T，\mu，\eta）$是一个monad if和仅当$T$是某类字符串中的终端对象并重写时规则，并且可以通过证明重写系统。我们举例说明了单子合成问题的技巧。我们还根据重写范畴给出了附加词的特征。
第15卷第1期
发布日期：2019年1月9日
验收日期：2018年9月7日
提交日期：2016年12月22日
关键词：计算机科学-计算机科学中的逻辑
