关于构造函数重写系统和 Lambda 演算PDF书籍下载

原名:On Constructor Rewrite Systems and the Lambda-Calculus
作品简介:和 Lambda 微积分。乌戈·达尔·拉戈。西蒙·马蒂尼.信息科学部。母校博洛尼亚大学。……