将通用代数应用于 Lambda 演算 电子书下载

原名:Applying Universal Algebra to Lambda Calculus
作品简介:{gmanzone, salibra}@dsi.unive.it 在每个组合代数和 λ 抽象代数中，都有一个中心元素的布尔代数（扮演……