带有类型的 Lambda 演算 电子书下载

原名:Lambda Calculus with Types
作品简介:荷兰奈梅亨拉德堡德大学计算机科学专业。 WIL DEKKERS 是信息研究所的副教授，978-0-521-76614-2 – 逻辑观点：具有类型的 Lambda 演算。……