计算机科学中的代数和余代数 电子书下载

原名:Algebra and Coalgebra in Computer Science
作品简介:就材料而言，特别是翻译、转载、再利用的权利。效果系统是其指称语义验证等式推理，验证可用于等式推理的程序转换规则。效果类型在区域内是协变的，而效果类型在区域内是协变的。计算机……